一種基于有色Petri網(wǎng)的安全協(xié)議分析方法研究
所屬分類：技術論文
上傳者：aet
文檔大?。?span>1793 K
所需積分：0分積分不夠怎么辦,？
文檔介紹：利用有色Petri網(wǎng)建模工具CPN tools中的查詢函數(shù)對安全屬性進行描述,，搭建一個能夠覆蓋大部分安全性質(zhì)的CPN查詢函數(shù)庫,，提出一種基于CPN的通用和規(guī)范的安全協(xié)議形式化分析語言,，該語言可以像用面向對象編程語言編程一樣對安全協(xié)議進行建模,。
現(xiàn)在下載
VIP會員,，AET專家下載不扣分,；重復下載不扣分,，本人上傳資源不扣分,。