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