論文元數(shù)據(jù)搜索，找到相關(guān)信息共 2 條：
2000, 22(1): 73-77.
刊出日期：2000-01-19
關(guān)鍵詞:
認證協(xié)議; BAN邏輯
本文指出了W.Mao(1995)對其協(xié)議(1)的證明中存在的錯誤,并對其在協(xié)議理想化過程中提出的N-u規(guī)則作了探討,指出其擴展N-u的三條規(guī)則的缺陷,并作了改進,最后,給出一個例子說明N-u規(guī)則的應(yīng)用。
2009, 31(3): 740-744.
doi: 10.3724/SP.J.1146.2007.01562
刊出日期：2009-03-19
關(guān)鍵詞:
保密通信;MD5;碰撞攻擊;充分條件集;冗余性;制約性
Wang Xiaoyun等(2005)給出了MD5能產(chǎn)生碰撞的一個充分條件集，并首次成功對MD5進行了碰撞攻擊。Yuto Nakano等(2006)指出上述充分條件集中有16個條件是冗余的，并給出了其中14個條件冗余的原因。Liang Jie和Lai Xuejia(2005)指出Wang Xiaoyun等給出的充分條件集并非總能產(chǎn)生碰撞，并增加新的條件使之總能產(chǎn)生碰撞，同時提出了一個新的碰撞攻擊算法。本文證明了Yuto Nakano等給出的16個冗余條件中有兩個并不冗余，且Liang Jie和Lai Xuejia增加的新條件中有兩個是冗余的，指出Liang Jie和Lai Xuejia的碰撞攻擊算法在消息修改時忽視了被修改條件之間的制約性，因而未必總能產(chǎn)生碰撞，本文對此進行了修正，給出新的充分條件集，并通過實驗驗證了該充分條件集總能產(chǎn)生碰撞。
