@第{zbMATH05242668条，作者={Blanchet，Bruno and Abadi，Mart{'{i}}n and Fournet，C{e}dric}，标题={自动验证安全协议的选定等效项}，FJournal={逻辑与代数编程杂志}，日志={J.Log.Algebr.Program.}，ISSN={1567-8326}，体积={75}，数字={1}，Pages={3-51}，年份＝｛2008｝，语言={英语}，DOI={10.1016/j.jlap.2007.06.002}，关键词={68M12,68M10,68Q60,68Q85}，zbMATH={5242668}，Zbl={1135.68007}}