Kailar邏輯的改進(jìn)及應(yīng)用
所屬分類：技術(shù)論文
上傳者：aet
文檔大?。?span>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ù)下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 波多野结衣有一部紧身裙女教师| 韩国大尺度床戏未删减版在线播放 | 野花社区视频在线观看| 欧美一级黄色影院| 人人看人人添人人谢| 精品无码成人久久久久久| 国产免费拔擦拔擦8x高清在线人| 西西人体www高清大胆视频| 在线观看免费国产视频| www.好吊色.com| 性高湖久久久久久久久| 中文无码AV一区二区三区| 日本精品少妇一区二区三区| 久草香蕉视频在线观看| 权明星商标查询| 亚洲伊人久久大香线蕉影院| 欧美日韩国产一区二区| 亚洲第一成年免费网站| 蜜桃视频无码区在线观看| 国产成人无码综合亚洲日韩| sss欧美一区二区三区| 快穿之肉玩具系统| 久久99热精品免费观看牛牛| 日韩国产欧美在线观看| 久草网在线视频| 柠檬福利第一导航在线| 亚洲中文字幕在线观看| 欧美午夜小视频| 亚洲区在线播放| 欧美变态口味重另类在线视频 | 在线观看亚洲一区二区| CHINESE中国精品自拍| 好多水好硬好紧好爽视频| 一二三区在线视频| 日韩男人的天堂| 亚洲av无码日韩av无码网站冲 | 欧洲女人牲交性开放视频| 人体大胆做受大胆视频一| 稚嫩娇小哭叫粗大撑破h| 免费黄色一级片| 精品人妻VA出轨中文字幕|