論文元數(shù)據(jù)搜索，找到相關(guān)信息共 4 條：
2015, 37(8): 1994-1999.
doi: 10.11999/JEIT141635
刊出日期：2015-08-19
該文分析了He等人(2014)提出的無證書簽名方案和Ming等人(2014)提出的無證書聚合簽名方案的安全性，指出Ming方案存在密鑰生成中心(KGC)被動攻擊，He方案存在KGC被動攻擊和KGC主動攻擊。該文描述了KGC對兩個方案的攻擊過程，分析了兩個方案存在KGC攻擊的原因，最后對Ming方案提出了兩類改進。改進方案不僅克服了原方案的安全性問題，同時也保持了原方案聚合簽名長度固定的優(yōu)勢。
2015, 37(8): 1971-1977.
doi: 10.11999/JEIT141604
刊出日期：2015-08-19
為了分析ZUC序列密碼算法在相關(guān)性能量分析攻擊方面的免疫能力，該文進行了相關(guān)研究。為了提高攻擊的針對性，該文提出了攻擊方案的快速評估方法，并據(jù)此給出了ZUC相關(guān)性能量分析攻擊方案。最后基于ASIC開發(fā)環(huán)境構(gòu)建仿真驗證平臺，對攻擊方案進行了驗證。實驗結(jié)果表明該方案可成功恢復(fù)48 bit密鑰，說明ZUC并不具備相關(guān)性能量分析攻擊的免疫力，同時也證實了攻擊方案快速評估方法的有效性。相比Tang Ming等采用隨機初始向量進行差分能量攻擊，初始向量樣本數(shù)達到5000時才能觀察到明顯的差分功耗尖峰，該文的攻擊方案只需256個初始向量，且攻擊效果更為顯著。
2003, 25(10): 1355-1360.
刊出日期：2003-10-19
文中在B.Zhou提出的直接概率計算(DC)和近似概率計算(AC)算法基礎(chǔ)上提出了一種新的近似多傳感器多目標聯(lián)合概率數(shù)據(jù)關(guān)聯(lián)算法。近似概率法是以一個目標為中心的近似聚為構(gòu)造互聯(lián)事件的起點，并在計算中將DC和AC結(jié)合得到的一種全鄰的點跡-航跡關(guān)聯(lián)算法。它能有效地提高目標點跡-航跡的關(guān)聯(lián)正確率，在計算時耗上較完全聯(lián)合概率法快得多，能滿足工程中實時性的要求，將其在雜波下目標密集、航跡復(fù)雜的數(shù)據(jù)融合系統(tǒng)中進行實驗，對關(guān)聯(lián)正確率，關(guān)聯(lián)耗時等與最近鄰法進行了比較，效果較好。
2007, 29(4): 901-905.
doi: 10.3724/SP.J.1146.2005.01088
刊出日期：2007-04-19
關(guān)鍵詞:
電子商務(wù)協(xié)議;公平性;安全性;形式化分析;ATL
針對傳統(tǒng)時序邏輯LTL，CTL及CTL*等把協(xié)議看成封閉系統(tǒng)進行分析的缺點，Kremer博士(2003)提出用一種基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平電子商務(wù)協(xié)議并對幾個典型的協(xié)議進行了公平性等方面的形式化分析。本文討論了ATL邏輯及其在電子商務(wù)協(xié)議形式化分析中的應(yīng)用，進一步擴展了Kremer博士的方法，使之在考慮公平性等特性的同時能夠分析協(xié)議的安全性。最后本文用新方法對Zhou等人(1999)提出的 ZDB協(xié)議進行了嚴格的形式化分析，結(jié)果發(fā)現(xiàn)該協(xié)議在非保密通道下存在兩個可能的攻擊：保密信息泄露和重放攻擊。
