Kailar邏輯的改進及應用
所屬分類：技術論文
上傳者：aet
文檔大?。?span>372 K
所需積分：0分積分不夠怎么辦？
文檔介紹：綜合Kailar邏輯和SVO邏輯兩種協(xié)議分析方法的優(yōu)點,，借助SVO邏輯的思想對Kailar邏輯進行了改進,，使其更好地應用于不可否認協(xié)議的可追究性分析和設計,。同時，將改進后的Kailar邏輯應用在類NG協(xié)議的分析中,，分析結果證明了該協(xié)議可追究方面的安全性質,。
現(xiàn)在下載
VIP會員，AET專家下載不扣分,；重復下載不扣分,，本人上傳資源不扣分。