• 乌帕阿尔

  • 引用634篇文章[sw04702]
  • 实时控制器和通信区域包括协议尤其是那些在时间方面。。。
  • 克洛诺斯

  • 引用263篇文章[sw01270]
  • 时间期限。嵌入式控制器、电路和通信协议是这种时间依赖系统的例子。。。
  • 和弦

  • 207篇引用[sw09434]
  • 本文提出了一种分布式查询Chord协议解决了这个问题。和弦提供支持。。。
  • ns-2型

  • 引用189篇文章[sw11690]
  • TCP、路由和多播的模拟协议通过有线和无线(本地和卫星)网络。。。
  • 团结

  • 在184篇文章中引用[sw13461]
  • 基于时间偏差的机器干涉问题协议在一个分布式内存并行架构。。。
  • 卡斯帕

  • 参考文献95篇[sw06559]
  • 安全分析编译器协议. Casper是一个需要。。。证券的描述协议用一种简单抽象的语言,产生一个CSP描述。。。相同的协议,适用于使用FDR2进行检查。它可以用来寻找攻击。。。在上面协议或者证明不存在这样的攻击,根据假设。。。
  • MPI/MPICH公司

  • 引用161篇[sw06126]
  • 接口MPI是标准的消息传递协议. MPICH是一个免费的,可移植的实现。。。
  • 塞萨尔

  • 在157篇文章中引用[sw08510]
  • 举例说明,交替位协议,使用CESAR,一个交互式系统。。。
  • HMQV公司

  • 引用了78篇文章[sw02714]
  • 协议在法律中,墨涅泽斯、屈、索利纳斯和凡士东可能是最有效的。。。已知认证的Diffie Hellman协议使用公钥身份验证。除了出色的表现。。。协议被设计来实现一个引人注目的安全属性列表。因此。。。到目前为止解决的是协议在严格的。。。
  • 阿维斯帕

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

  • 引用130篇文章[sw04993]
  • 流行的通信设计工具箱协议以及分布式系统。CADP开发。。。
  • 纳克索斯

  • 引用69篇文章[sw03050]
  • Canetti Krawczyk的定义。他们还描述了协议,叫做NAXOS,有一个简单的安全。。。容易修改以获得一次通过协议. 另一方面,MQV会。。。提出了一种新的认证密钥协议协议,称为CMQV('Combined'MQV),它结合了设计。。。来自MQV,HMQV和AXOS。新的协议达到了HMQV的效率并承认。。。
  • 舌状瘤

  • 引用了60篇文章[sw13764]
  • 可扩展和可组合:通信协议无线网络堆栈分为。。。每个都有自己的API。模型协议在一个层与那些。。。模块化实现使多个协议在给定的层上。并行实现。。。使用各种保守同步执行协议,其中包括空消息和条件。。。
  • PPL公司

  • 引用96篇文章[sw05357]
  • 逻辑语言、同步语言与同步协议实时和混合系统。自从开学以来。。。
  • 细胞倍体

  • 引用90篇文章[sw09126]
  • 基础研究和药物发现。这个协议是一个循序渐进的指南。。。
  • 旋转

  • 引用了50篇文章[sw02657]
  • 注意。我们提供一套安全措施协议传感器网络优化:旋转。旋转。。。资源受限的环境。我们实施了上述措施协议并证明它们是实用的,甚至。。。最小硬件:性能协议套件很容易匹配数据速率。。。用于高层建筑协议...
  • 普罗夫里夫

  • 引用41篇文章[sw06558号]
  • ProVerif是一种自动加密技术协议验证者,在形式模型中(所谓的Dolev。。。模型)。这个协议验证器基于协议按喇叭条款。。。的无限会话数协议(即使是并行的)和无限的信息空间。。。攻击,但如果它声称协议满足某个性质,那么这个性质。。。
  • 麦克马斯

  • 引用72篇文章[sw09463]
  • 包括机器人、安全等多个领域协议,web服务等。例如,涉及。。。