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

安全管理網(wǎng)

安全協(xié)議形式化分析工具比較研究

文檔作者: 陸思奇1 2 程慶豐1 2 趙進(jìn)華3        文檔來源: 1. 洛陽外國語學(xué)院 2. 中國科學(xué)院信息工程研究所 3. 信息保障技術(shù)重點(diǎn)實(shí)驗室
點(diǎn) 擊 數(shù):
更新時間: 2016年06月23日
下載地址: 點(diǎn)擊這里
文件大?。?1.68 MB
文檔格式:       
下載點(diǎn)數(shù): 1 點(diǎn)(VIP免費(fèi))
內(nèi)容預(yù)覽
如需編輯使用,請下載。
注:預(yù)覽效果可能會出現(xiàn)部分文字亂碼(如口口口)、內(nèi)容顯示不全等問題,下載是正常的。
文件大?。?.68 MB      文件格式:
下載點(diǎn)數(shù):1 點(diǎn)(VIP會員免費(fèi))

形式化分析方法已經(jīng)成為協(xié)議分析的主流方法之一. 目前, 國內(nèi)針對形式化分析工具的研究很少, 工具之間的比較研究也不夠充分. 一方面, 當(dāng)前比較研究存在參比工具較少以及參比性能不全面的問題, 另一方面, 大部分比較研究僅停留在理論比較, 并沒有提供實(shí)驗數(shù)據(jù).

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