迈托·阿拉皮尼斯;玛丽·杜弗洛特 在安全协议中免费绑定消息–对各种安全属性的扩展。 （英语） Zbl 1309.68059号 Inf.计算。 239, 182-215 (2014).MSC公司：68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}和\textit{M.Duflot}，Inf.Comput。239182-215（2014年；Zbl 1309.68059） 全文： 内政部
迈托·阿拉皮尼斯;玛丽·杜弗洛特 在安全协议中免费绑定消息。 （英语） Zbl 1135.68389号 Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。《计算机科学讲义》4855、376-387（2007年）。MSC公司：68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}和\textit{M.Duflot}，莱克特。注释计算。科学。4855、376--387（2007年；Zbl 1135.68389） 全文： 内政部