@收款{zbMATH05374259，作者={科蒙·隆德，休伯特}，Title={安全协议自动验证中的挑战}，BookTitle={自动推理。第四届国际联合会议，2008年8月12日至15日，澳大利亚悉尼，IJCAR 2008，Proceedings}，国际标准图书编号={978-3-540-71069-1}，页码={396--409}，年份={2008}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-71070-7_34}，关键词={68Q60,68T15}，zbMATH={5374259}，Zbl={1165.68403}}