論文元數(shù)據(jù)搜索,找到相關信息共 4 條:
2012, 34(12): 2881-2884.
doi: 10.3724/SP.J.1146.2012.00804
刊出日期:2012-12-19
該文推廣了Liu Fang等人(2010)給出的周期為pn, p為奇素數(shù),n為正整數(shù)的廣義分圓序列的構造,并確定了新構造序列的線性復雜度和自相關函數(shù)值的分布。結(jié)果表明,推廣的構造保持了原構造的高線性復雜度等偽隨機特性。由于取值更靈活,較之原構造新構造序列的數(shù)量要大得多。
2012, 34(10): 2520-2526.
doi: 10.3724/SP.J.1146.2012.00376
刊出日期:2012-10-19
該文討論了Fang等人(2011)新近提出的一個安全高效的基于智能卡的遠程用戶口令認證方案,指出原方案無法實現(xiàn)所聲稱的抗離線口令猜測攻擊,對平行會話攻擊和已知密鑰攻擊是脆弱的,并且存在用戶口令更新友好性差問題。給出一個改進方案,對其進行了安全性和效率分析。分析結(jié)果表明,改進方案彌補了原方案的安全缺陷,保持了較高的效率,適用于安全需求較高的資源受限應用環(huán)境。
2003, 25(10): 1355-1360.
刊出日期:2003-10-19
文中在B.Zhou提出的直接概率計算(DC)和近似概率計算(AC)算法基礎上提出了一種新的近似多傳感器多目標聯(lián)合概率數(shù)據(jù)關聯(lián)算法。近似概率法是以一個目標為中心的近似聚為構造互聯(lián)事件的起點,并在計算中將DC和AC結(jié)合得到的一種全鄰的點跡-航跡關聯(lián)算法。它能有效地提高目標點跡-航跡的關聯(lián)正確率,在計算時耗上較完全聯(lián)合概率法快得多,能滿足工程中實時性的要求,將其在雜波下目標密集、航跡復雜的數(shù)據(jù)融合系統(tǒng)中進行實驗,對關聯(lián)正確率,關聯(lián)耗時等與最近鄰法進行了比較,效果較好。
2007, 29(4): 901-905.
doi: 10.3724/SP.J.1146.2005.01088
刊出日期:2007-04-19
針對傳統(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é)議進行了嚴格的形式化分析,結(jié)果發(fā)現(xiàn)該協(xié)議在非保密通道下存在兩個可能的攻擊:保密信息泄露和重放攻擊。