您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 应用Pi演算的开放方法

  2. 提出了开放双仿真的概念应用Pi演算,它扩展了π演算,以便有助于分析安全协议。 我们的概念基于标记的过渡系统,并需要知识在安全协议中建立知识模型的开放方法。 它显示出对标记的双相似性是合理的,并且是一致的关系。 作为运行示例,我们分析两个电子商务协议,即iKP和弗格森的电子现金协议,由Applied Pi和开放双相似性提供。
  3. 所属分类:其它

    • 发布日期:2021-02-23
    • 文件大小:168960
    • 提供者:weixin_38557530