福卡迪，R。;R.戈里埃里。;马蒂内利，F。 作为非干扰的安全协议中的保密性。 （英语） Zbl 0966.68008号 Schneider，Steve（编辑）等人，《安全架构和信息流研讨会》。英国伦敦大学皇家霍洛韦分校，1999年12月1日至3日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。32，12 p.，仅电子版（1999年）。 摘要：已提出无干扰建模和分析系统中的信息流。作者之前已经证明，称为NDC的非干扰特性也可以应用于网络安全领域，用于分析典型的密码协议特性（例如，身份验证、不可否认性）。在本文中，我们扩展了先前工作的结果，表明NDC也可以很容易地用于检测网络上的保密攻击。关于整个系列，请参见[Zbl 0942.00051号]. 引用于1审查引用于2文件 MSC公司： 68个M12 网络协议 68第25页 数据加密（计算机科学方面） 关键词：无干涉特性 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，in：安全架构和信息流研讨会。英国伦敦大学皇家霍洛韦分校，1999年12月1日至3日。阿姆斯特丹：爱思唯尔。第12页（1999年；Zbl 0966.68008）