Kailar逻辑的改进及应用
所屬分類：技术论文
上傳者：aet
文檔大?。?span>372 K
所需積分：0分積分不夠怎么辦？
文檔介紹：综合Kailar逻辑和SVO逻辑两种协议分析方法的优点，借助SVO逻辑的思想对Kailar逻辑进行了改进，使其更好地应用于不可否认协议的可追究性分析和设计。同时，将改进后的Kailar逻辑应用在类NG协议的分析中，分析结果证明了该协议可追究方面的安全性质。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。