• 普罗弗里夫

  • 38篇参考文献[SW06568]
  • 这个验证者可以证明以下属性:保密(对手不能获得秘密,CSFW……属性(SAS’03,带MARTIN N阿巴迪),强保密(敌手看不到区别)
  • 爱马仕

  • 9篇参考文献[SW0403]
  • 爱马仕:一种自动验证工具保密在安全协议中。密码学是不够的…
  • 阿斯皮尔

  • 6篇参考文献[SW09852]
  • 自动分析认证的安全模型保密协议实现的属性…使用它来验证身份验证和保密一部分工业强度的性能…
  • 规格

  • 4篇参考文献[SW20606]
  • 安全属性的原因,如保密和认证。SPEC实现进程等价性检查…
  • 卡斯帕

  • 2篇参考文献[SW04078]
  • 按钮自动检定工具保密以及密码协议的真实性。工具…T4ASP与静态分析仪的比较保密由AVISPA工具提供的属性。卡斯帕…
  • 塞夫

  • 2篇参考文献[SW06567]
  • 大多数现有工具集中于保密和认证属性,很少支持隐私属性…一些其他安全属性,如保密和认证,介绍了在这个框架下…
  • 隐花植物

  • 3篇参考文献[SW12834 ]
  • 静态检查安全违规行为,如保密或真实性错误。密码系统…
  • 层流

  • 3篇参考文献[ SW23077 ]
  • 通过标记数据来表示安全策略保密和完整的标签,然后访问…
  • EDSL

  • 1篇参考文献[SW22616]
  • 服务器,但效率有限,并提供保密反对计算有界的对手。实验与…
  • G2C

  • 1篇参考文献[SW25265]
  • 通信协议。后者包括保密访问控制和匿名性要求。一个关键特征…
  • 辅酶Q

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 岩浆

  • 2602篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • 自旋

  • 48篇参考文献[SW02657 ]
  • 无线传感器网络将被广泛地应用于…
  • HMQV

  • 77篇参考文献[SW02614]
  • 法律的MQV协议,路易斯·安东尼奥·温克尔德·梅内泽斯,曲,Solinas…
  • 纳克索斯

  • 65篇参考文献[SW03050]
  • 拉马基亚,Lauter和米塔金最近提出了一个强有力的…