• 蒂姆布克

  • 46篇参考文献[SW06351]
  • Timbuk目前用于验证密码的 协议(见一些论文和例子)
  • 普罗弗里夫

  • 38篇参考文献[SW06568]
  • 普罗维里夫是自动的密码的 协议验证者,在正式模式(所谓的Dolev…协议按霍恩条款。它的主要特点是:它可以处理很多不同的东西。密码的原语…无限的会话数协议(甚至并行)和无界的消息空间…
  • 设计/ CPN

  • 37篇参考文献[SW01952]
  • 建模与验证密码的 协议使用着色Petri网和设计/CPN…
  • 新南威尔士大学

  • 34篇参考文献[SW12158]
  • 协议分析仪:概述。NRL协议分析仪是一种原型专用验证工具。已开发用于分析密码的 协议用于认证主体的…
  • 莫德NPA

  • 26篇参考文献[SW12159]
  • 莫德NRL协议分析器。莫德NRL协议分析仪(MADUD NPA)是一种工具…关于安全性的推理密码的 协议其中密码系统满足不同的等价性质。
  • 夸克

  • 18篇参考文献[SW08477]
  • 专业人士表示,特别是实施密码的 协议在RFID技术中。那时…
  • MCSMA-SLK

  • 14篇参考文献[SW2478]
  • 就餐结果密码者 协议和蛋糕切割问题的一个变种…
  • 维夫

  • 12篇参考文献[SW05804]
  • 使用A进行计算密码的 协议允许他们得到正确答案…
  • 爱马仕

  • 9篇参考文献[SW0403]
  • 完美密码学的理想假设。大部分协议验证工具是模型检查工具…应用于发现缺陷密码的 协议. 相反,基于归纳的工具…
  • 空军陆战队

  • 26篇参考文献[SW09466 ]
  • 用于符号安全的OMC点模型检验器协议分析,扩展…支持代数性质的语言密码的运算符和一个简单的符号…既用作假设又用作协议目标ANB规范被自动翻译成IF.PAR…安全分析协议关于所采用的代数理论密码的运营商,…
  • SPI2Java

  • 5篇参考文献[ SW099 35]
  • SPI2JAVA:自动密码的 协议从SPI演算生成Java代码。这项工作的目的…自动生成Java代码实现密码的 协议在形式化规范语言中描述…
  • 峭壁

  • 7篇参考文献[ SW068 65 ]
  • 图书馆提供测试环境密码的 协议由非交换群构造,例如…
  • 隐花植物

  • 3篇参考文献[SW12834 ]
  • Cryptyc:密码的 协议类型检查器。密码系统是一个密码的 协议类型检查器。不像…
  • 阿普特

  • 4篇参考文献[SW20604]
  • 自动网站密码的 协议验证者APTE:证明迹等价的算法这个工具…迹等价可用于模型密码的安全属性,如隐私,匿名性,不可链接性…
  • DRNG

  • 4篇参考文献[SW150 94]
  • 生成高质量密钥密码的 协议为种子播种提供种子指令。
  • 美味的

  • 17篇参考文献[SW09865 ]
  • 结果。现有的密码的编译器可以自动生成安全计算协议从高规格…
  • 魅力

  • 7篇参考文献[SW10192]
  • 魅力,一个可扩展的快速原型框架密码的系统魅力提供了许多特征…新发展协议包括模块化组合的支持密码的积木、基础设施…发展互动协议以及一个可重用代码的广泛库。我们的框架还提供…密码系统进行互操作。我们实施了40以上密码的使用魅力的方案,包括一些新的…
  • 验证者

  • 2篇参考文献[SW1288]
  • 量子安全证明的验证密码的 协议. 本文提出了一个形式化的框架。量子安全证明的验证密码的 协议. 我们简化了语法和操作语义…
  • SCAPI

  • 3篇参考文献[SW22635]
  • 实现安全的多方和多方计算协议(SCAPI代表“安全计算”…提供可靠、高效和高灵活性密码的基础设施SCAPI由三层组成…属于这一层)。三。互动密码的 协议这些是互动的协议涉及。。。