• 廷布克

  • 引用46篇文章[sw06351]
  • Timbuk目前用于验证密码学 协议(见一些论文和例子。。。
  • 普罗夫里夫

  • 在38篇文章中引用[sw06558号]
  • ProVerif是自动的密码学 协议验证者,在形式模型中(所谓的Dolev。。。协议按喇叭条款。它的主要特点是:它可以处理许多不同的密码学原语。。。的无限会话数协议(即使是并行的)和无限的信息空间。。。
  • 设计/CPN

  • 引用了37篇文章[sw01952]
  • 建模与验证密码学 协议利用有色Petri网和设计/CPN。。。
  • NRL公司

  • 在34篇文章中引用[sw12158]
  • 协议analyzer:概述。NRL协议analyzer是一个原型专用验证工具。。。用于分析密码学 协议用于验证主体。。。
  • 莫德国家公园

  • 在26篇文章中引用[sw12159]
  • 莫德NRL协议分析仪。莫德NRL协议分析器(Maude NPA)是一个工具。。。关于安全性的推理密码学 协议其中密码系统满足不同的等式性质。。。
  • 夸克

  • 引用19篇文章[sw08447]
  • 专业人士表达的,特别是密码学 协议在射频识别技术。当时。。。
  • 维夫

  • 参考12篇文章[sw05804]
  • 使用密码学 协议这样他们就能得到正确的答案。。。
  • 爱马仕

  • 引用9篇文章[sw00403]
  • 完美密码的理想假设。大部分协议验证工具是模型检查工具。。。用于发现密码学 协议. 相反,基于归纳法的工具。。。
  • OFMC公司

  • 在26篇文章中引用[sw09466]
  • 符号安全的点模型检测算法协议分析,扩展。。。支持代数性质的语言密码学运算符和一个简单的符号。。。用作假设和协议目标。AnB规范自动转换为IF.par。。。分析安全性协议关于所用的代数理论密码学操作员,他们。。。
  • Spi2Java公司

  • 引用5篇文章[sw09935]
  • Spi2Java:自动密码学 协议从spi演算生成Java代码。这项工作的目的。。。自动生成Java代码实现密码学 协议在形式规范语言中描述。。。
  • 峭壁

  • 参考7篇文章[sw06865]
  • 库提供了一个测试环境密码学 协议由非交换群构成,例如。。。
  • 隐秘

  • 引用3篇文章[sw12834]
  • Cryptyc公司:密码学 协议类型检查器。Cryptyc系统是一个密码学 协议类型检查器。不像。。。
  • 阿普特

  • 引用4篇文章[sw20604]
  • 自动网站密码学 协议APTE等价性证明算法。这个工具。。。轨迹等价可以用来建模密码学安全属性,比如隐私,匿名,不链接。。。
  • 图纸

  • 引用4篇文章[sw15094]
  • 为生成高质量密钥密码学 协议并提供了RSEED指令。。。
  • 魅力

  • 引用8篇文章[sw10192]
  • Charm,一个可扩展的快速原型框架密码学系统。魅力提供了许多功能。。。开发新的协议,包括支持密码学积木,基础设施。。。开发交互式协议,以及一个扩展的可重用代码库。我们的框架还提供。。。密码系统互操作。我们实施了40多个密码学利用魅力的计划,包括一些新的。。。
  • 美味的

  • 17条引用[sw09865]
  • 结果。现有的密码学编译器可以自动生成安全计算协议从高级规范中。。。
  • 验证者

  • 引用2篇文章[sw12878]
  • 量子安全证明的验证密码学 协议. 本文提出了一个形式化框架。。。量子安全证明的验证密码学 协议. 我们简化了语法和操作语义。。。
  • 肩胛骨

  • 引用3篇文章[sw22635]
  • 实现安全的双方多方计算协议(SCAPI代表“安全计算。。。提供可靠、高效和高度灵活的密码学基础设施。SCAPI由三层组成。。。属于此层)。三。交互式密码学 协议:这些是交互式的协议涉及。。。