乔纳森·米伦 关于解密自由。 (英语) Zbl 1162.68436号 信息处理。莱特。 86,第6号,329-333(2003). 摘要:一些用于密码协议分析的形式化方法使用自由项代数表示消息字段,这不允许显式对称解密运算符。虽然主体和入侵者解密加密消息的能力是隐式表示的,但这种模型可能无法识别某些攻击。然而,由于对协议EV自由的额外限制,加密消息字段必须具有已知结构,因此不需要对自由代数进行扩展,因为它不会启用任何新的攻击。公钥加密的类似问题尚未解决。 引用于1审查引用于三文件 MSC公司: 68第25页 数据加密(计算机科学方面) 关键词:形式化方法;安全;密码学;串空间 PDF格式BibTeX公司 XML格式引用 \textit{J.Millen},Inf.过程。莱特。86,第6号,329--333(2003;Zbl 1162.68436) 全文: 内政部 参考文献: [1] Cervesato,I。;北卡罗来纳州杜尔金。;林肯,P。;J.米切尔。;Scedrov,A.,《安全协议分析的关联链和多集重写》(IEEE计算机安全基础研讨会第13期(2000年),IEEE计算机学会)·Zbl 1033.94513号 [2] Goldwasser,S。;Micali,S.,概率加密,J.计算。系统科学。,28, 270-299 (1984) ·Zbl 0563.94013号 [3] 希瑟·J。;罗伊,G。;Schneider,S.,《如何防止对安全协议的类型缺陷攻击》,(第13届IEEE计算机安全基础研讨会(2000年),IEEE计算机学会),255-268 [4] Meadows,C.,《将形式化方法应用于密钥管理协议的分析》,J.Compute。安全,1,1/2,5-36(1992) [5] Millen,J。;Shmatikov,V.,有界过程密码协议分析的约束求解,(第八届ACM计算机和通信安全会议(2001年11月),ACM SIGSAC),166-175 [6] Paulson,L.,《验证密码协议的归纳方法》,J.Compute。安全,6,1,85-128(1998) [7] 宋,D。;Berezin,S。;Perrig,A.,Athena:一种高效的自动安全协议分析的新方法,J.Comput。安全,9,1,47-74(2001) [8] Thayer,J。;赫尔佐格,J。;Guttman,J.,链空间上的诚实理想,(第11届IEEE计算机安全基础研讨会(1998年),IEEE计算机学会),66-78 [9] Thayer,J。;赫尔佐格,J。;Guttman,J.,Strand spaces:Proventing security protocols correct,J.计算。安全,7/2/3191-230(1999) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。