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