一种基于有色Petri网的安全协议分析方法研究AET-电子技术应用-最丰富的电子设计资源平台

一种基于有色Petri网的安全协议分析方法研究
所属分类：技术论文
上传者：aet
文档大小：1793 K

所需积分：0分积分不够怎么办？
文档介绍：利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述，搭建一个能够覆盖大部分安全性质的CPN查询函数库，提出一种基于CPN的通用和规范的安全协议形式化分析语言，该语言可以像用面向对象编程语言编程一样对安全协议进行建模。
现在下载
VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。

活动