• HMQV

  • 77篇参考文献[SW02614]
  • 协议法律,路易斯·安东尼奥·温克尔德·梅内泽斯,曲,Solinas和Vanstone可能…最有效的所有已知认证的密钥交换协议使用公钥认证
  • 纳克索斯

  • 65篇参考文献[SW03050]
  • 认证的关键协议加强了著名的Canetti Krawczyk定义。他们还描述了协议轻易地获得一次传球协议. 另一方面,MQV确实…本文提出了一种新的认证的密钥协商协议,称为CMQV(“组合”MQV),它包含…
  • CMQV+

  • 35篇参考文献[SW04018]
  • CMQV+:一个认证的密钥交换协议从CMQV USTAGOLU提出了一个安全和有效的…
  • HB-MP

  • 8篇参考文献[SW02600 ]
  • 轻量级家族认证 协议. 一个轻量级的家庭认证 协议自…以来发展协议特别适用于每个标签都必须是RFID系统。认证的本文提出了一种新的协议命名为HB-MP,来源于Hb+,提供…
  • 图拉法尔

  • 14篇参考文献[SW0986]
  • 基于SOAP的安全性的机器可检查描述协议以及它们的性质。我们的图拉菲尔语…对应断言(指定)认证目标协议我们的实现编译TulaFaR到应用…因此,我们可以自动验证。认证肥皂的性能协议
  • 自旋

  • 48篇参考文献[SW02657 ]
  • 注意。我们提供了一套安全措施协议优化传感器网络:自旋。旋转…SERP包括:数据同轴度,双面数据认证数据新鲜度的证据。特斯拉…提供认证的对于严重资源受限的环境进行广播。我们实现了以上协议并展示…
  • 阿斯皮尔

  • 6篇参考文献[SW09852]
  • 模型自动分析认证和保密性质协议在C.的实现技术…特定领域的软件模型检查协议符号攻击者模型。我们已经实施了…验证认证一部分工业强度的保密性协议实施。。。
  • GNUC

  • 8篇参考文献[SW1269]
  • 几个重要的显式公式协议任务,包括认证的和安全的通信,以及…
  • 普罗弗里夫

  • 38篇参考文献[SW06568]
  • 也就是说,执行跟踪协议伪造所需财产(CSFW……对手不能获得秘密,CSFW’01,认证(SAS’02)和更一般的对应性质…
  • UBAPV2G

  • 1篇参考文献[SW20865 ]
  • UBAPV2G:一个独特的批量认证 协议用于车辆到电网的通信。“车辆到电网……通信有快速的关键要求认证加密/解密…本文提出了一种独特的批量认证 协议考虑到特性的UBAPV2G…实现更少认证延迟大量的数据包。因此,UBAPV2G协议适合…
  • 断言

  • 2篇参考文献[SW21066 ]
  • 放弃:向前的安全认证的密钥交换协议基于对称密钥演化方案。前向安全定义认证的密钥交换(AKE)协议可以无需满足…
  • G-HADOP

  • 12篇参考文献[SW08480]
  • 然而,G-HADOP仅仅重用用户。认证Hadoop的作业提交机制。协议并专门设计用于分布式环境。这个安全框架简化了用户。认证
  • 蛋糕

  • 2篇参考文献[SW23 84]
  • 密码体制。然后,我们提出了一个认证的密钥交换协议根据蛋糕,这是合适的…
  • MCMAS-X

  • 3篇参考文献[SW02464 ]
  • 验证认证特斯拉安全流中的特性协议. MCMAS-X是一个扩展…
  • 卡斯帕

  • 2篇参考文献[SW04078]
  • CASPA工具:基于因果关系的安全抽象协议分析工具纸CASPA构成推…自动证明保密性真实性密码学性质协议. 工具接地…
  • EC2C-PAKA

  • 11篇参考文献[SW03308]
  • 论文中,我们研究客户端到客户端的密码。认证的密钥协议(C2C-PAKA)启用两个客户端…首先介绍了C2C-PAKA协议在跨域设置下。然而,这个计划…
  • S-RIP

  • 3篇参考文献[SW02570]
  • 向量路由协议不安全是因为:1)缺乏坚强认证和授权…本文介绍了一种安全路由协议。协议,即S- RIP,基于距离…