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