• BFFL

  • 3篇参考文献[SW05403]
  • 实例,它是密码的 协议基于椭圆曲线…
  • 蒂尼尔戈

  • 3篇参考文献[SW29 145]
  • TinyLEGO的实现密码的 协议[NST17]用于一般安全的两党计算。
  • 熊猫

  • 2篇参考文献[SW08229 ]
  • 计算密码的配对与基于配对的开发与实现协议. 意图…熊猫框架的背后是给予协议设计者和实现者容易访问…实现基于配对的功能密码的 协议同时使它可以使用状态…
  • G2C

  • 1篇参考文献[SW25265]
  • 密码的 协议从目标驱动的规范。我们提出了G2C,一个目标驱动的规范语言…输入和沟通的目标协议. 后者包括保密、访问控制……G2C规范转化为符号密码的 协议,这被证明是最优的。我们提供…自动定理证明器密码的 协议. 我们已经实现了一个G2C编译器演示…
  • ZKPDL

  • 2篇参考文献[SW30793]
  • 处理器因此,许多先进的密码的 协议现在有足够的效率被考虑…零知识证明者与验证者协议当我们的翻译执行一个数字…密码的图书馆,Cashlib,它提供了一个使用Exchange和公平交换的接口协议没有…
  • 卡斯帕

  • 2篇参考文献[SW04078]
  • CASPA工具:基于因果关系的安全抽象协议分析工具纸CASPA构成推…证明保密性和真实性密码的 协议. 这个工具是以一本小说为基础的。
  • JPAC

  • 1篇参考文献[SW19151]
  • 调用协议. 可编程安全体系结构密码的 协议在演唱会中使用的验证形式可以提供…
  • 尼尔森

  • 1篇参考文献[SW24983]
  • 两秘密共享的安全性研究协议提出的罚款,莫尔登豪尔,和罗森伯格…好,A. Moldenhauer和G. Rosenberger,密码的 协议基于尼尔森变换,J.Copt。对…
  • 特灵

  • 1篇参考文献[SW02091]
  • 任何群组通信中的关键问题协议团队成员是高度动态的…计算和通信成本。一般来说密码的 协议影响了计算成本。
  • AGVI

  • 4篇参考文献[SW02267]
  • 用AGVI协议设计器输入系统规范(如密码的密钥设置…
  • 克莱因

  • 19篇参考文献[SW09470]
  • 轻量级分组密码系列。资源效率密码的基元对于实现安全性至关重要。作为安全的构建块的角色协议. 在本文中,我们描述…
  • 肖普

  • 1篇参考文献[SW02663]
  • HWMP协议对于WMN。提出的协议使用密码的提供真实性和完整性的扩展…
  • TECP

  • 0篇参考文献[SW055 11]
  • 辅导环境密码的 协议(TECP)是公众的指导和可视化环境。
  • 皮诺奇

  • 27篇参考文献[SW10193]
  • 仅依赖于验证通用计算密码的假设。与Pinocchio,客户端创建…可忽略的成本协议. 最后,为了帮助发展,Pinocchio提供…
  • 盖比特

  • 7篇参考文献[SW31791]
  • 云计算激发了可验证计算的兴趣协议,它允许一个弱客户端安全地…震级。经过仔细的选择密码的原语,Geppetto的实例化有界证明引导…
  • 利博克

  • 1篇参考文献[SW25375 ]
  • 量子电阻文库密码的算法与原型集成协议和应用,包括…
  • W3BCRIPT

  • 1篇参考文献[SW300 69]
  • 传输层保护密码的机制,例如SSL/TLS协议有很多情况…启用应用程序级别的Mozilla Firefox平台密码的Web内容保护。实际上…
  • 利特塞

  • 5篇参考文献[SW02172]
  • 轻量级版本集协议叫做“LySeTET”。为了同样的安全水平…通过使用一个新的密码的本原称为签密。我们希望…
  • COSP

  • 4篇参考文献[SW2538 9]
  • 甚至A的内部结构协议. COSP使健全的结果,在某种意义上说…概念上的模块化和通用方式:证明X密码的原语对Y结石的声音只需要…