1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 网络信息安全

密码协议的π-网形式化描述与分析.pdfVIP

  • 6
  • 0
  • 约2.27万字
  • 约 4页
  • 2015-08-26 发布于安徽
  • 举报

密码协议的π-网形式化描述与分析.pdf

    Vol. 17 增刊 系 统 仿 真 学 报 Oct. 2005 JOURNAL OF SYSTEM SIMULATION 78 密码协议的p - 网形式化描述和分析 1,2 1 1 曹木亮 吴智铭 杨根科 (1 上海交通大学自动化系, 上海 200030; 2 广州军区75741 部队, 广州 510510) 摘 要 - 网是一类模块化的 具有代数演算功能的高级Petri 网 通过引入项 buffer 库所和解 密变迁等建模元素 本文在- 网中建立了密钥管理和加密信息的传输机制 形成了密码协议的Petri 网形式化模型 而且对于任意的一个密码协议 都可以将其模块化

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >