斯特凡尼德劳恩;卢卡·赫斯基 密码协议中建立基于等价性属性的符号方法综述。 (英语) Zbl 1359.68023号 J.日志。阿尔盖布。方法计划。 87, 127-144 (2017).MSC公司:68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}和\textit{L.Hirschi},J.Log。阿尔盖布。方法计划。87、127--144(2017;Zbl 1359.68023) 全文: DOI程序 arXiv公司
亚尼克·骑士;米歇尔·鲁西诺维奇 编译和保护加密协议。 (英语) Zbl 1209.68211号 信息处理。莱特。 110,编号3116-122(2010).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch},Inf.过程。莱特。110,第3号,116--122(2010;Zbl 1209.68211) 全文: DOI程序 arXiv公司