文檔作者：
陳平 劉東喜 白英彩
文檔來源：
上海交通大學計算機科學與工程系 |
點 擊 數(shù)：
|
更新時間： 2016年06月14日 |
|
下載地址： 點擊這里 |
文件大?。?2.43 MB |
文檔格式：
|
下載點數(shù)： 1 點（VIP免費） |
文件大?。?.43 MB 文件格式： 下載點數(shù)：1 點（VIP會員免費） |
|
安全協(xié)議在網(wǎng)絡(luò)信息安全中扮演著重要角色, 但保證安全協(xié)議的正確是一個很困難的問題。現(xiàn)在, 許多形式化方法都被用來分析安全協(xié)議, 本文中我們研究各種方法的基本思想、它的優(yōu)缺點、發(fā)展趨勢以及方法之間的關(guān)系。   |
|
淺談道路危險貨物運…
城市軌道交通在國外…淺談如何做到安全文…道路交通事故成因分…疲勞駕駛的產(chǎn)生原因…人為因素對船舶的安…淺析地鐵中的安全問題論城市軌道交通安全…
全屏查看
