ZBMaX中的参考文献(19篇)1标准条款

显示结果1至19的19。
按年份排序(引文

  1. Boureanu,Ioana;科恩,米卡;LoMISOCIO,Alessio:密码协议时间认知特性的自动验证(2009)
  2. JakuBoSka,Gigela;Pink Zek,WojiCe:安全协议的定时认证建模和校验(2007)
  3. Kurkowski,MiROS.AW;PunZek,WojiCe:验证自动机模型的安全协议(2007)
  4. Kurkowski,MiROS.AW;PunZek,WojiCeCH;Zbrzezny,ANDZEJ:基于SAT的安全协议翻译到自动机网络的验证(2007)
  5. 哈克,克里斯蒂安;杰夫瑞,艾伦:模式匹配SPI演算(2006)
  6. 贝拉,Giampaolo;马萨契,法比奥;保尔森,Lawrence C.:集合验证(2005)综述伊波尔特
  7. Bhargavan,KaTiKeIn;福内特,C.E.Dric;戈登,Andrew D.:Web服务认证的语义(2005)
  8. 布兰切特,布鲁诺;Podelski,安德烈亚斯:密码协议的验证:标记强制终止(2005)
  9. BoZGA,Liana;EN,克里斯蒂安;Laknnh,Yassine:具有时间戳的密码协议的符号决策过程(2005)
  10. 博扎诺,马珂;DelZhanNO,吉奥吉奥:密码协议线性逻辑规范保密性质的自动验证(2005)
  11. 阿曼多,Alessandro;CopaGNA,卢卡:抽象驱动的基于SAT的安全协议分析(2004)
  12. Delzanno,吉奥吉奥;GANTY,彼埃尔:时间敏感密码协议的自动验证(2004)
  13. 钢,格雷厄姆;邦迪,艾伦;MaIDL,Munik:通过驳斥不正确的归纳猜想来攻击组密钥协议(2004)
  14. COMN Lundh,休伯特;Cordeta,VeRONIQue:一阶逻辑片段的新可判定性结果及其在密码协议中的应用(2003)
  15. Hagiya,MasaMi;Takemura,Ryo;Takahashi,Koichi;西都,Takamichi:基于绑定关系的认证协议的验证(2003)
  16. Necula,George C.;Schneck,罗伯特R:带不可信证明规则的携带证据代码(2003)
  17. 阿曼多,Alessandro;CopaGNA,卢卡:通过减少到计划的自动SAT编译协议不安全问题(2002)
  18. 保尔森,Lawrence C.:持卡人登记:保密证明(扩展摘要)(2001)
  19. 科恩,Ernie:TAPPS:密码协议的一级验证器(2000)