约翰·博格斯特罗姆 扩展spi演算的完全符号双相似性。 （英语） Zbl 1294.68109号 Kremer，Steve（编辑）等人，第六届并发安全问题国际研讨会会议记录（SecCo 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第3期，3-20（2009）。MSC公司：60年第68季度 94A60 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}，电子。注释Theor。计算。科学。242，第3、3--20号（2009年；Zbl 1294.68109） 全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 Maude NPA：密码协议分析的模等式性质。 （英语） Zbl 1252.94061号 Aldini，Alessandro（编辑）等人，《安全分析和设计基础V.FOSAD 2007/2008/2009教程讲座》。柏林：施普林格出版社（ISBN 978-3-642-03828-0/pbk）。计算机科学课程讲稿5705，1-50（2009）。MSC公司：94A60 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Lect。注释计算。科学。5705，1-50（2009年；Zbl 1252.94061） 全文： 内政部
瑟·特凡·乔巴赫;斯特凡尼德劳恩;史蒂夫·克莱默 在收敛方程理论下计算安全协议知识。 （英语） Zbl 1250.03016号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣款国际会议，2009年8月2日至7日，加拿大蒙特利尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，355-370（2009）。MSC公司：03立方厘米35 03B25号 68个M12 68吨15 94A60 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人，莱克特。注释计算。科学。5663、355--370（2009年；Zbl 1250.03016） 全文： 内政部 链接
马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 YAPA：计算入侵者知识的通用工具。 （英语） Zbl 1242.94018号 Treinen，Ralf（编辑），重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595148-163（2009）。MSC公司：94A60 03B25号 68第25页 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudet}等人，Lect。注释计算。科学。5595148-163（2009年；Zbl 1242.94018） 全文： 内政部 arXiv公司
Tiu，Alwen先生;拉杰夫·戈尔 入侵者理论的证明论分析。 （英语） Zbl 1201.68051号 Treinen，Ralf（编辑），重写技术和应用。第20届国际会议，RTA 2009，巴西巴西利亚，2009年6月29日至7月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595103-117（2009）。MSC公司：68第25页 03立方厘米35 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Tiu}和\textit{R.Goré}，莱克特。注释计算。科学。5595、103-117（2009年；Zbl 1201.68051） 全文： 内政部 链接