論文元數(shù)據(jù)搜索，找到相關(guān)信息共 2 條：
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)生碰撞的一個(gè)充分條件集，并首次成功對MD5進(jìn)行了碰撞攻擊。Yuto Nakano等(2006)指出上述充分條件集中有16個(gè)條件是冗余的，并給出了其中14個(gè)條件冗余的原因。Liang Jie和Lai Xuejia(2005)指出Wang Xiaoyun等給出的充分條件集并非總能產(chǎn)生碰撞，并增加新的條件使之總能產(chǎn)生碰撞，同時(shí)提出了一個(gè)新的碰撞攻擊算法。本文證明了Yuto Nakano等給出的16個(gè)冗余條件中有兩個(gè)并不冗余，且Liang Jie和Lai Xuejia增加的新條件中有兩個(gè)是冗余的，指出Liang Jie和Lai Xuejia的碰撞攻擊算法在消息修改時(shí)忽視了被修改條件之間的制約性，因而未必總能產(chǎn)生碰撞，本文對此進(jìn)行了修正，給出新的充分條件集，并通過實(shí)驗(yàn)驗(yàn)證了該充分條件集總能產(chǎn)生碰撞。
2015, 37(4): 881-886.
doi: 10.11999/JEIT140831
刊出日期：2015-04-19
目前基于標(biāo)簽的Grbner基算法大多是Buchberger型的，涉及矩陣型算法的文獻(xiàn)往往是為了進(jìn)行復(fù)雜度分析，而不考慮實(shí)際的效率。該文從實(shí)際應(yīng)用出發(fā)，給出矩陣型Gao-Volny-Wang(GVW)算法的一個(gè)實(shí)例，提出算法層次的優(yōu)化設(shè)計(jì)方法。同時(shí)，該文還給出一個(gè)高效的約化準(zhǔn)則。通過實(shí)驗(yàn)，該文比較了算法可用的各項(xiàng)準(zhǔn)則及策略。實(shí)驗(yàn)結(jié)果表明，該文的矩陣型GVW實(shí)例在準(zhǔn)則和策略的選取上是最優(yōu)的。并且，矩陣型GVW在某些多項(xiàng)式系統(tǒng)(例如，Cyclic系列和Katsura系列多項(xiàng)式系統(tǒng))下比Buchberger型GVW要快2~6倍。
