@第{zbMATH05264858条，作者={Andova、Suzana和Cremers、Cas和Gj steen、Kristian和Mauw、Sjouke和Mj{o}lsnes、Stig F.和Radomirovi{'c}、Sa{v{s}}a}，Title={安全协议组合验证框架}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={206}，数字={2-4}，页码={425--459}，年份={2008}，语言={英语}，DOI＝{10.1016/j.ic.2007.07.002}，关键词={68M12}，URL={discovery.dundee.ac.uk/en/publications/4a00d192-5144-4614-bd2e-f486f77b7655}，zbMATH={5264858}，Zbl={1147.68389}}