文檔作者：
繆祥華1 何大可2
文檔來源：
1.昆明理工大學信息工程與自動化學院 2. 西南交通大學信息安全與國家計算網(wǎng)格實驗室 |
點 擊 數(shù)：
|
更新時間： 2012年11月14日 |
|
下載地址： 點擊這里 |
文件大?。?155.48 KB |
文檔格式：
|
下載點數(shù)： 2 點（VIP免費） |
文件大小：155.48 KB 文件格式： 下載點數(shù)：2 點（VIP會員免費） |
|
研究了安全協(xié)議的等價性問題，提出了安全協(xié)議等價的概念。把每個安全協(xié)議的消息和目標分別形式化為表達式集，通過一個算法分別求各表達式集合的最一般代換。如果最一般代換都存在，說明安全協(xié)議是等價的，反之則說明安全協(xié)議是不等價的。利用安全協(xié)議集合上的等價關系，可以劃分出安全協(xié)議等價類，從而減少了需研究的安全協(xié)議的數(shù)量。   |
|
安全生產無小事 企業(yè)…安全措施在大型起重船…網(wǎng)絡安全的現(xiàn)狀分析和…大型場所安全監(jiān)控系統(tǒng)…服務器虛擬化安全措施…風險社會與風險治理風險投資的風險防范及…試論危巖穩(wěn)定性評價與…
淺談如何做好安全生…
淺析安全生產管理措…淺析安全生產管理的…淺談安全生產監(jiān)督管理淺析安全生產事故頻…網(wǎng)絡安全存在的問題…淺析安全生產監(jiān)管工…淺談安全生產風險管…
全屏查看