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