兰·卡内蒂;凯瑟琳·梅多斯;保罗·西弗森 认证协议的环境要求。 (英语) 兹比尔1033.94553 Okada,Mitsuhiro(编辑)等人,《软件安全——理论和系统》。2002年11月8日至10日,日本东京,2002年国际空间站,Mext-NSF-JSPS国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-00708-3/pbk)。莱克特。注释计算。科学。2609, 339-355 (2003). 概要:认证协议领域的大多数需求工作都集中于确定协议的需求,而没有太多考虑上下文。很少有工作集中在对环境的假设上,例如使用认证密钥的应用程序。在本文中,我们将展示协议与其环境之间的交互如何对协议产生重大影响。具体来说,我们将演示一些针对已发布和/或广泛使用的协议的攻击,这些攻击对于孤立运行的协议(即使有多次运行)来说是不可行的,但在某些应用程序环境中却是可行的。我们还将讨论对协议施加约束和对其运行环境施加约束之间的权衡。关于整个系列,请参见[Zbl 1017.00039号]. 引用于4文件 MSC公司: 94A62型 身份验证、数字签名和秘密共享 68第25页 数据加密(计算机科学方面) PDF格式BibTeX公司 XML格式引用 \textit{R.Canetti}等人,Lect。注释计算。科学。2609339-355(2003年;Zbl 1033.94553) 全文: 链接