文檔作者:
陳平 劉東喜 白英彩
文檔來源:
上海交通大學計算機科學與工程系 |
點 擊 數:
|
||
下載地址: 點擊這里 |
文件大?。?2.43 MB |
文檔格式:
|
下載點數: 1 點(VIP免費) |
文件大?。?.43 MB 文件格式: 下載點數:1 點(VIP會員免費) |
|
安全協(xié)議在網絡信息安全中扮演著重要角色, 但保證安全協(xié)議的正確是一個很困難的問題。現在, 許多形式化方法都被用來分析安全協(xié)議, 本文中我們研究各種方法的基本思想、它的優(yōu)缺點、發(fā)展趨勢以及方法之間的關系。 |
|
基于安全控制的通航河…
懸索橋的拆除方案和安…
供電臂頻繁過流跳閘的…
長進路站場電碼化電路…
電動汽車技術
對新能源汽車技術的幾…
福特汽車節(jié)能措施初探
節(jié)能汽車的綠色汽車制…
淺談道路危險貨物運…
城市軌道交通在國外…
道路交通事故成因分…
淺談如何做到安全文…
疲勞駕駛的產生原因…
人為因素對船舶的安…
淺析地鐵中的安全問題
論城市軌道交通安全…