文檔作者:
馮登國 范紅
文檔來源:
中國科學院軟件研究所 |
點 擊 數(shù):
|
更新時間: 2016年06月27日 |
|
下載地址: 點擊這里 |
文件大?。?690.80 KB |
文檔格式:
|
下載點數(shù): 1 點(VIP免費) |
文件大?。?90.80 KB 文件格式: 下載點數(shù):1 點(VIP會員免費) |
|
綜述目前安全協(xié)議形式化分析的理論與方法,包括安全協(xié)議的分類與模型,安全協(xié)議形式化分析的3 種典型方法(基于推理的結(jié)構(gòu)性方法,基于攻擊的結(jié)構(gòu)性方法,基于證明的結(jié)構(gòu)性方法) ,安全協(xié)議分析的形式化語言,安全協(xié)議設計的形式化方法,以及安全協(xié)議形式化分析面臨的挑戰(zhàn)。 |