• 卡斯帕

  • 参考文献95篇[sw06559]
  • 用于分析的编译器安全 协议.Casper是一个程序,它将安全 协议用一种简单抽象的语言,产生一个CSP描述。。。
  • 阿维斯帕

  • 引用88篇[sw03172]
  • 网络自动验证安全 协议和应用程序)是一个按钮工具…互联网的自动验证安全-敏感的协议和应用程序。它提供了一种模块化和表达性的…形式化语言来指定协议以及他们的安全属性,并集成不同的后端。。。
  • 麦克马斯

  • 引用82篇文章[sw09463]
  • 包括机器人技术在内的各种领域,安全 协议,web服务等。例如,安全规范涉及。。。
  • HMQV公司

  • 引用89篇文章[sw02714]
  • 性能协议被设计成安全属性…是否协议可以证明保护在严格的密钥交换模型中安全…这个问题我们分析MQV协议在Canetti Krawczyk密钥交换模型中…原版协议但是所有的MQV安全目标可以被正式证明。。。
  • KEM-DEM公司

  • 引用了60篇文章[sw03093]
  • 通用可组合保护基于KEM-DEM框架的频道。对于国际标准化组织的公共标准…论文调查了一个更普遍的混合协议,保护频道,使用KEM和DEM,这样。。。
  • 旋转

  • 引用了50篇文章[sw02657]
  • 注意。我们提供一套安全 协议传感器网络优化:旋转。旋转。。。保护积木:SNEP和µTESLA。SNEP包括:数据保密性、双方数据认证……资源受限环境。我们实施了上述措施协议并证明它们是实用的,甚至。。。
  • 纳克索斯

  • 引用81篇文章[sw03050]
  • 劳特和米提亚金最近提出了安全认证密钥协议加强的定义…也描述了一个协议,称为NAXOS,享受简单安全证明…通过协议。另一方面,MQV没有安全证据。。。安全证据极其复杂。提出了一种新的认证密钥协议协议,称为。。。
  • OFMC公司

  • 引用28篇文章[sw09466]
  • 用于符号分析的模型检验器安全 协议.我们介绍了开源定点模型检查器OFMC的符号化安全 协议分析,它扩展了动态模型…自动转换为IF.par OFMC同时执行这两个功能协议通过探索伪造和有界会话验证……此外,OFMC允许分析安全 协议关于代数理论。。。
  • 美味的

  • 引用19篇文章[sw09865]
  • 现有的密码编译器可以自动生成保护计算协议从高水平的规范…执行,基准,比较,高效保护双方计算协议.TASTY是一个新的编译器…编译器。我们用美味来比较协议对于保护基于同态加密的乘法…TASTY允许自动生成高效保护 协议对于许多隐私保护应用程序来说。。。
  • 飞天螳螂

  • 引用16条[sw09467]
  • 工具:验证、伪造和分析安全 协议。随着互联网的兴起…开放的网络,大量安全 协议被开发和部署的目的是。。。保护沟通。对此的分析安全 协议结果证明是非常困难的…研究安全 协议不幸的是,没有有效的方法。。。
  • 罗望子

  • 引用19篇文章[sw23438]
  • 符号分析的证明器安全 协议Tamarin prover支持安全 协议。它以表达语言为特色协议,对手模型。。。
  • 开放式SSL

  • 引用57篇文章[sw09945]
  • v2/v3)和传输层安全(TLS v1)协议以及一个全副武装的将军。。。
  • CMQV公司+

  • 在38篇文章中引用[sw06418号]
  • CMQV Ustaoglu提出保护以及高效的密钥交换协议名为CMQV,总部设在…纳克索斯。与后两者相比协议一方面,CMQV取得了更高的性能…型号保护作为纳克索斯。然而,CMQV享受安全在。。。
  • 克莱因

  • 引用了20篇文章[sw09457]
  • 作为安全 协议在本文中,我们描述。。。
  • 莫德国家公园

  • 引用了35篇文章[sw12159]
  • 推理系统安全密码的协议其中密码系统满足原始NRL的不同形式框架协议Analyzer,它支持等式推理,在一个更…的失败发现攻击仍然保证安全在本文中我们描述了一些状态。。。
  • 雅帕

  • 引用19篇文章[sw02739]
  • 介入许多形式化的分析安全 协议在应用的框架中。。。
  • 阿基斯

  • 引用15篇文章【sw20605】
  • 用于检查跟踪等效性的工具安全 协议。它在所谓的符号模型中工作,代表协议由程序在应用pi微积分,并允许用户…描述各种各样的安全方程理论中的原语。为了证明这两个过程。。。
  • 图拉费

  • 在14篇文章中引用[sw00986]
  • 基于SOAP的机器可检查描述安全 协议以及它们的属性。我们的图拉费语。。。
  • 伊奥劳斯

  • 在10篇文章中引用[sw42330]
  • most网络的点模型安全 协议设计时考虑到了单播通信…Iolus:一个新的可伸缩框架保护多播。协议基于Iolus可以使用…单独的组密钥管理服务到其他”安全-aware应用程序。我们描述了架构…也描述了我们使用协议基于Iolus框架。。。
  • 卫星通信

  • 引用8篇文章[sw09469]
  • 基于模型检查器的安全 协议我们提出了SATMC(基于SATMC的模型检查器),一种开放的基于…的有界模型检查[8]安全 协议在完美密码的标准假设下。。。