zbMATH中的参考文献(参考文献19条,1标准件)

显示第1至19个结果,共19个。
按年份排序(引用)

  1. 布瑞安努,约阿纳;科恩,米卡;Lomuscio,Alessio:密码协议时间认知属性的自动验证(2009)
  2. 雅库博斯卡,吉塞拉;Penczek,Wojciech:安全协议的建模和检查定时认证(2007)
  3. 库尔科夫斯基,米洛斯ław;Penczek,Wojciech:验证由自动机网络建模的安全协议(2007)
  4. 库尔科夫斯基,米洛斯ław;彭泽克,沃伊切赫;Zbrzezny,Andrzej:通过转换到自动机网络的基于SAT的安全协议验证(2007)
  5. 哈克,基督徒;杰弗里,艾伦:模式匹配spi演算(2006)
  6. 贝拉,詹帕洛;马萨奇,法比奥;Paulson,Lawrence C.:set验证综述(2005)ioport公司
  7. 巴格文,卡蒂克扬;福奈特,塞德里克;Gordon,Andrew D.:web服务认证的语义(2005)
  8. 布兰切特,布鲁诺;波德尔斯基,安德烈亚斯:《密码协议的验证:标签强制终止》(2005)
  9. 波兹加,莉安娜;伊恩,克里斯蒂安;Lakhnech,Yassine:具有时间戳的密码协议的符号决策过程(2005)
  10. 波扎诺,马可;Delzanno,Giorgio:密码协议线性逻辑规范的保密性自动验证(2005)
  11. 阿曼多,亚历山德罗;Compagna,Luca:抽象驱动的基于SAT的安全协议分析(2004)
  12. 德尔扎诺,乔治;Ganty,Pierre:时间敏感密码协议的自动验证(2004)
  13. 钢,格雷厄姆;邦迪,艾伦;梅德尔,莫妮卡:通过反驳错误的归纳猜想攻击一个群密钥协商协议(2004)
  14. 科蒙伦德,休伯特;Cortier,Véronique:一阶逻辑片段的新可判定性结果及其在密码协议中的应用(2003)
  15. Hagiya,Masami;Takemura,Ryo;高桥,高桥;Saito,Takamichi:基于绑定关系的认证协议验证(2003)
  16. 乔治·C·奈库拉。;Schneck,Robert R.:带有不可信证明规则的验证代码(2003)
  17. 阿曼多,亚历山德罗;Compagna,Luca:协议不安全问题的自动SAT编译(2002)
  18. Paulson,Lawrence C.:设置持卡人注册:保密证明(扩展摘要)(2001)
  19. 科恩,厄尼:TAPS:密码协议的一阶验证器(2000)