@InCollection{zbMATH01884406，作者={Syverson，Paul and Cervesato，Iliano}，标题={身份验证协议的逻辑}，BookTitle={安全分析和设计基础。教程}，国际标准图书编号={3-540-42896-8}，页码={63--136}，年份={2001}，出版商={柏林：施普林格}，语言＝{英语}，关键词={68P25,94A62}，URL={link.springer.de/link/service/series/0558/bibs/21710063.htm}，zbMATH={1884406}，Zbl={1007.68510}}