@收款{zbMATH06440362，作者={Blanchet，Bruno}，Title={符号模型中安全协议的自动验证：验证器{ProVerif}}，BookTitle={安全分析和设计基础VII.FOSAD 2012/2013教程讲座}，国际标准图书编号={978-3-319-10081-4}，页码={54--87}，年份={2014}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-319-10082-1_3}，关键词={68M25,68Q60,68Q85,94A60,94A62}，zbMATH={6440362}，Zbl={1448.68185}}