一级黄色片免费播放|中国黄色视频播放片|日本三级a|可以直接考播黄片影视免费一级毛片

高級搜索

留言板

尊敬的讀者、作者、審稿人, 關于本刊的投稿、審稿、編輯和出版的任何問題, 您可以本頁添加留言。我們將盡快給您答復。謝謝您的支持!

姓名
郵箱
手機號碼
標題
留言內容
驗證碼

論文元數(shù)據搜索,找到相關信息共 3 條:

排序:
相關度
發(fā)表時間
每頁顯示:
10
20
30
50
產生MD5碰撞的新的充分條件集
陳士偉, 金晨輝
2009, 31(3): 740-744. doi: 10.3724/SP.J.1146.2007.01562  刊出日期:2009-03-19
關鍵詞: 保密通信;MD5;碰撞攻擊;充分條件集;冗余性;制約性
Wang Xiaoyun等(2005)給出了MD5能產生碰撞的一個充分條件集,并首次成功對MD5進行了碰撞攻擊。Yuto Nakano等(2006)指出上述充分條件集中有16個條件是冗余的,并給出了其中14個條件冗余的原因。Liang Jie和Lai Xuejia(2005)指出Wang Xiaoyun等給出的充分條件集并非總能產生碰撞,并增加新的條件使之總能產生碰撞,同時提出了一個新的碰撞攻擊算法。本文證明了Yuto Nakano等給出的16個冗余條件中有兩個并不冗余,且Liang Jie和Lai Xuejia增加的新條件中有兩個是冗余的,指出Liang Jie和Lai Xuejia的碰撞攻擊算法在消息修改時忽視了被修改條件之間的制約性,因而未必總能產生碰撞,本文對此進行了修正,給出新的充分條件集,并通過實驗驗證了該充分條件集總能產生碰撞。
適于復雜信息融合系統(tǒng)的近似聯(lián)合概率數(shù)據關聯(lián)算法
劉城霞
2003, 25(10): 1355-1360.  刊出日期:2003-10-19
關鍵詞: 近似聯(lián)合概率數(shù)據關聯(lián); 最近鄰法; 數(shù)據融合
文中在B.Zhou提出的直接概率計算(DC)和近似概率計算(AC)算法基礎上提出了一種新的近似多傳感器多目標聯(lián)合概率數(shù)據關聯(lián)算法。近似概率法是以一個目標為中心的近似聚為構造互聯(lián)事件的起點,并在計算中將DC和AC結合得到的一種全鄰的點跡-航跡關聯(lián)算法。它能有效地提高目標點跡-航跡的關聯(lián)正確率,在計算時耗上較完全聯(lián)合概率法快得多,能滿足工程中實時性的要求,將其在雜波下目標密集、航跡復雜的數(shù)據融合系統(tǒng)中進行實驗,對關聯(lián)正確率,關聯(lián)耗時等與最近鄰法進行了比較,效果較好。
基于ATL的公平電子商務協(xié)議形式化分析
文靜華, 李祥, 張煥國, 梁敏, 張梅
2007, 29(4): 901-905. doi: 10.3724/SP.J.1146.2005.01088  刊出日期:2007-04-19
關鍵詞: 電子商務協(xié)議;公平性;安全性;形式化分析;ATL
針對傳統(tǒng)時序邏輯LTL,CTL及CTL*等把協(xié)議看成封閉系統(tǒng)進行分析的缺點,Kremer博士(2003)提出用一種基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平電子商務協(xié)議并對幾個典型的協(xié)議進行了公平性等方面的形式化分析。本文討論了ATL邏輯及其在電子商務協(xié)議形式化分析中的應用,進一步擴展了Kremer博士的方法,使之在考慮公平性等特性的同時能夠分析協(xié)議的安全性。最后本文用新方法對Zhou等人(1999)提出的 ZDB協(xié)議進行了嚴格的形式化分析,結果發(fā)現(xiàn)該協(xié)議在非保密通道下存在兩個可能的攻擊:保密信息泄露和重放攻擊。