阿里·卡西姆；伊利耶斯·法尔科内；帕斯卡·拉福卡德 电子考试的正式分析和离线监控。 （英语） Zbl 1370.68205号 形式方法系统。设计。 51，编号117-153（2017）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kassem}等人，《形式方法系统》。设计。51，第1号，117--153（2017；Zbl 1370.68205） 全文： 内政部 哈尔
谢，齐；胡斌；吴婷 在不使用服务器公钥和智能卡的情况下，改进了基于混沌映射的三方口令认证密钥交换协议。 （英语） Zbl 1331.94062号 非线性动力学。 79，第4期，2345-2358（2015）.MSC公司：94A62型 37E05型 37D45号 68米10 PDF格式BibTeX公司 XML格式引用 \textit｛Q.Xie｝等人，非线性动力学。79，第4号，2345--2358（2015；Zbl 1331.94062） 全文： 内政部
毛里西奥·阿亚拉·林科恩；尤里·桑托斯·雷戈 证明Dolev Yao级联协议模型安全性所需的平衡特性在PVS中的形式化。 （英语） Zbl 1451.68334号 J.福尔马利兹。原因。 6，第1期，31-61（2013）.MSC公司：68V20型 68平方米25 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}和\textit{Y.Santos Rego}，J.Formaliz。原因。6、第1号、第31--61号（2013；Zbl 1451.68334） 全文： 内政部
巴特·雅各布斯；罗尼·威彻斯·施勒尔 PVS中Mifare经典卡的逻辑形式化和分析。 （英语） Zbl 1342.68288号 Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，3-17（2011）。MSC公司：68吨15 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}和\textit{R.Wichers-Schreur}，莱克托。注释计算。科学。6898，3-17（2011；Zbl 1342.68288） 全文： 内政部 链接