奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;保罗·莫德斯蒂;卢卡·维甘诺 安全协议的类型和组合性：对几何片段的概括。 （英语） Zbl 1499.68043号 Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日，会议记录。第二部分。查姆：斯普林格。莱克特。注释计算。科学。9327, 209-229 (2015). 总结：我们整合并改进了两种先前的相对稳健性结果。第一类是键入结果，显示满足许多充分条件的任何安全协议如果受到类型良好的攻击，就会受到攻击。第二类考虑协议的并行组合，表明当并行运行两个协议允许攻击时，至少其中一个协议存在孤立的攻击。与之前的工作相比，最重要的概括是支持几何碎片的所有安全属性。关于整个系列，请参见[Zbl 1492.68027号]. 引用于1文件 MSC公司： 68平方米25 计算机安全 94A60型 密码学 PDF格式BibTeX公司 XML格式引用 \textit{O.Almousa}等人，Lect。注释计算。科学。9327，209--229（2015；Zbl 1499.68043） 全文： 内政部 链接