一种基于有色Petri网的安全协议分析方法研究
所屬分類：技术论文
上傳者：aet
文檔大?。?span>1793 K
所需積分：0分積分不夠怎么辦？
文檔介紹：利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述，搭建一个能够覆盖大部分安全性质的CPN查询函数库，提出一种基于CPN的通用和规范的安全协议形式化分析语言，该语言可以像用面向对象编程语言编程一样对安全协议进行建模。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。