里卡多·福卡尔迪；罗伯托·戈里埃里；法比奥·马蒂内利 密码协议分析无干扰。 （英语） Zbl 0973.94517号 Montanari，Ugo（编辑）等人，《自动化、语言和编程》。第27届国际学术讨论会，ICALP 2000，瑞士日内瓦，2000年7月9日至15日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1853, 354-372 (2000). 摘要：密码协议的许多安全属性都可以看作是一个一般属性的具体实例，我们称之为组合不可重复性（NDC），这是我们几年前为研究计算机系统中的信息流属性而提出的。我们统一理论的优点是，现在更容易对这些属性进行形式化比较，NDC的全面通用性帮助我们发现了一些针对加密协议的新攻击。有关整个系列，请参见[兹比尔0941.00034]. 引用于19文件 MSC公司： 94A60型 密码学 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，Lect。票据计算。科学。1853，354--372（2000；Zbl 0973.94517）