里卡多·福卡尔迪；罗伯托·戈里埃里；法比奥·马蒂内利 安全属性的分类。二： 网络安全。 （英语） Zbl 1202.68168号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础II》。FOSAD 2001/2002辅导讲座。柏林：施普林格出版社（ISBN 3-540-20955-7/pbk）。莱克特。票据计算。科学。2946, 139-185 (2004). 概要：密码协议的许多安全属性都可以形式化为一般方案的特定实例，称为组合广义不可重复性（GNDC）。这个方案来源于我们几年前为研究计算机系统中的信息流而提出的NDC属性。该理论是为CryptoSPA制定的，CryptoSPA是我们为密码协议规范引入的进程代数。我们统一的基于GNDC的理论的优点之一是，安全属性之间的形式比较变得更容易，因为它们都是唯一通用属性的实例。此外，该方法的全面通用性帮助我们找到了一些对加密协议的非法攻击。本文基于作者获得的结果，涵盖了“安全属性分类”课程的第二部分，其中第一部分由R.Focardi先生和R.戈里埃里【法学注释计算科学2171、331–396（2001；Zbl 1007.68508号)].有关整个系列，请参见[Zbl 1031.68062号]. 引用于4文件 MSC公司： 68第25页 数据加密（计算机科学方面） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 94A60型 密码学 引文：Zbl 1007.68508号 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，Lect。票据计算。科学。2946、139--185（2004年；Zbl 1202.68168） 全文： 内政部