• 普罗夫里夫

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

  • 引用47篇文章[sw06351]
  • Timbuk目前用于验证密码学 协议(见一些论文和例子。。。
  • 设计/CPN

  • 在38篇文章中引用[sw01952]
  • 建模和验证密码学 协议利用有色Petri网和设计/CPN。。。
  • 莫德国家公园

  • 引用了35篇文章[sw12159]
  • 莫德NRL协议分析仪。莫德NRL协议Analyzer(Maude NPA)是一个工具…用于推理密码学 协议其中密码系统满足不同的等式性质。。。
  • NRL公司

  • 在34篇文章中引用[sw12158]
  • 协议analyzer:概述。NRL协议analyzer是一个原型专用验证工具…开发用于分析密码学 协议用于验证主体。。。
  • 夸克

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

  • 引用16条[sw05804]
  • 使用密码学 协议这样他们就能得到正确的答案。。。
  • 爱马仕

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

  • 引用9篇文章[sw06865]
  • 库提供了一个测试环境密码学 协议由非交换群构成,例如。。。
  • OFMC公司

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

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

  • 参考6篇文章[sw20604]
  • 自动网站密码学 协议验证程序APTE:证明迹等价性的算法。这个工具…跟踪等价可以用来建模密码学安全属性,比如隐私,匿名,不链接。。。
  • 魅力

  • 参考12篇文章[sw10192]
  • Charm,一个可扩展的快速原型框架密码学系统。魅力提供了许多功能…开发新的协议,包括支持密码学构建模块、基础设施…开发交互式协议,以及一个扩展的可重用代码库。我们的框架还提供…密码系统来进行互操作。我们实施了40多个密码学利用魅力的计划,包括一些新的。。。
  • 图纸

  • 引用5篇文章[sw15094]
  • 为生成高质量密钥密码学 协议,并提供RSEED指令用于播种。。。
  • 隐秘

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

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

  • 引用19篇文章[sw09865]
  • 结果。现有的密码学编译器可以自动生成安全计算协议从高级规范中。。。
  • ZKPDL公司

  • 引用3篇文章[sw30793]
  • 处理器。因此,许多人密码学 协议现在有足够的效率被认为是…零知识的证明者和验证者协议当我们的口译员在表演数字时。。。密码学库Cashlib,为使用ecash和公平交换提供接口协议没有。。。