注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 一种基于有色Petri网的安全协议分析方法研究

  2. 利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述，搭建一个能够覆盖大部分安全性质的CPN查询函数库，提出一种基于CPN的通用和规范的安全协议形式化分析语言，该语言可以像用面向对象编程语言编程一样对安全协议进行建模。

  3. 所属分类：其它

    • 发布日期：2020-10-20
    • 文件大小：249856
    • 提供者：weixin_38738189