国产在线一区二区三区九色,国内学生情侣自拍愉拍,狠狠躁日日躁夜夜躁2022麻豆,欧美日韩亚洲国内综合网国产精品,最新亚洲无码专区,无限资源欧美男人天堂,2020年无码专区

安全管理網(wǎng)

安全協(xié)議的形式化分析技術與方法

文檔作者: 薛銳 馮登國        文檔來源: 中國科學院軟件研究所信息安全國家重點實驗室
點 擊 數(shù):
更新時間: 2016年06月14日
下載地址: 點擊這里
文件大?。?1.06 MB
文檔格式:       
下載點數(shù): 1 點(VIP免費)
內容預覽
如需編輯使用,請下載。
注:預覽效果可能會出現(xiàn)部分文字亂碼(如口口口)、內容顯示不全等問題,下載是正常的。
文件大小:1.06 MB      文件格式:
下載點數(shù):1 點(VIP會員免費)

 對于安全協(xié)議的形式化分析方法從技術特點上做了分類和分析. 對于安全協(xié)議分析技術的發(fā)展歷史、目前的狀況以及將來的趨勢作了總體的介紹和總結. 根據(jù)作者的體會,從縱向和橫向兩個角度進行了總結. 縱向方面主要是從用于分析安全協(xié)議的形式化方法的出現(xiàn)和發(fā)展的歷史角度加以總結. 橫向方面主要從所應用的技術手段、技術特點入手,進行總結分析. 說明了目前協(xié)議形式化分析發(fā)展的主要方向. 對于目前國際流行的方法和模型進行了例解.

收藏本頁到會員中心
網(wǎng)友評論 more
創(chuàng)想安科網(wǎng)站簡介會員服務廣告服務業(yè)務合作提交需求會員中心在線投稿版權聲明友情鏈接聯(lián)系我們