国产精品麻豆久久99,韩日在线播放,午夜体验,鲁鲁狠色综合色综合网站,亚洲视频区,高清2019av手机版,精品中文字幕不卡在线视频

安全管理網(wǎng)

安全協(xié)議形式化分析理論與方法研究綜述

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

綜述目前安全協(xié)議形式化分析的理論與方法,包括安全協(xié)議的分類與模型,安全協(xié)議形式化分析的3 種典型方法(基于推理的結(jié)構(gòu)性方法,基于攻擊的結(jié)構(gòu)性方法,基于證明的結(jié)構(gòu)性方法) ,安全協(xié)議分析的形式化語言,安全協(xié)議設計的形式化方法,以及安全協(xié)議形式化分析面臨的挑戰(zhàn)。

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