@第{zbMATH01915580条，作者={Rusinovitch，Micha{\“e}l和Turuani，Mathieu}，Title={具有有限数量会话和组合密钥的协议不安全是{NP}-完成。},FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积＝{299}，数字={1-3}，页码={451--475}，年份={2003}，语言={英语}，DOI={10.1016/S0304-3975（02）00490-5}，关键词={68M12}，zbMATH={1915580}，Zbl={1042.68009}}