马丁·阿巴迪；布鲁诺·布兰切特；塞德里克·Fornet 应用的pi演算、移动值、新名称和安全通信。 （英语） 兹比尔1426.68037 美国临床医学杂志 65，第1号，第1条，41页（2018年）. 引用于17文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 第68页第25页 数据加密（计算机科学方面） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：安全协议 软件：CoSP公司；AVISPA公司；亚帕；ProVerify公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，J.ACM 65，第1号，第1条，41页（2018年；Zbl 1426.68037） 全文： DOI程序 arXiv公司