• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International conference on opto-electronics engineering and information science >Formal Modeling of Cryptographic Protocols Using Colored Petri Nets
【24h】

Formal Modeling of Cryptographic Protocols Using Colored Petri Nets

机译：使用有色Petri网的加密协议的形式化建模

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Cryptographic protocol is the crucial secure mechanism for sharing network resources. The security of the cryptographic protocol plays a vital role to entire network environment. In this paper,a new Colored Petri Nets (CPN) methodology for security property analysis of cryptographic protocol is proposed. We apply the new approach to modeling the TMN protocol with multiple concurrent sessions,and the model is categorized based on session configuration and session schedule. Using the state space search method,several attack states of multiple concurrent sessions are found,and a new attack pattern is obtained.
机译：加密协议是共享网络资源的关键安全机制。密码协议的安全性对整个网络环境至关重要。本文提出了一种新的彩色Petri网（CPN）方法，用于加密协议的安全性分析。我们将新方法应用于具有多个并发会话的TMN协议建模，并根据会话配置和会话时间表对模型进行分类。使用状态空间搜索方法，可以找到多个并发会话的几种攻击状态，并获得新的攻击模式。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号