論文元數(shù)據(jù)搜索,找到相關(guān)信息共 3 條:
2003, 25(10): 1355-1360.
刊出日期:2003-10-19
文中在B.Zhou提出的直接概率計算(DC)和近似概率計算(AC)算法基礎(chǔ)上提出了一種新的近似多傳感器多目標(biāo)聯(lián)合概率數(shù)據(jù)關(guān)聯(lián)算法。近似概率法是以一個目標(biāo)為中心的近似聚為構(gòu)造互聯(lián)事件的起點,并在計算中將DC和AC結(jié)合得到的一種全鄰的點跡-航跡關(guān)聯(lián)算法。它能有效地提高目標(biāo)點跡-航跡的關(guān)聯(lián)正確率,在計算時耗上較完全聯(lián)合概率法快得多,能滿足工程中實時性的要求,將其在雜波下目標(biāo)密集、航跡復(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é)議進行了嚴(yán)格的形式化分析,結(jié)果發(fā)現(xiàn)該協(xié)議在非保密通道下存在兩個可能的攻擊:保密信息泄露和重放攻擊。
2016, 38(8): 1935-1941.
doi: 10.11999/JEIT151212
刊出日期:2016-08-19
數(shù)據(jù)空間是一種新型的數(shù)據(jù)管理方式,能夠以pay-as-you-go模式管理海量、動態(tài)、異構(gòu)的數(shù)據(jù)。然而,由于數(shù)據(jù)空間環(huán)境下數(shù)據(jù)的動態(tài)演化、數(shù)據(jù)描述的細粒度和極松散性等原因,難于構(gòu)建有效的訪問控制機制。該文提出一個針對數(shù)據(jù)空間環(huán)境下極松散結(jié)構(gòu)模型,重點支持更新操作的細粒度和動態(tài)的訪問控制框架。首先定義更新操作集用于數(shù)據(jù)空間的數(shù)據(jù)更新,提出支持更新操作的映射方法,可將動態(tài)數(shù)據(jù)映射到關(guān)系數(shù)據(jù)庫中;給出支持更新操作權(quán)限的數(shù)據(jù)空間訪問控制規(guī)則的定義,并分析與關(guān)系數(shù)據(jù)庫的訪問控制規(guī)則二者轉(zhuǎn)換的一致性;然后提出具有可靠性和完備性的訪問請求動態(tài)重寫算法,該算法根據(jù)用戶的讀/寫訪問請求檢索相關(guān)訪問控制規(guī)則,使用相關(guān)權(quán)限信息重寫訪問請求,從而實現(xiàn)支持動態(tài)更新的細粒度數(shù)據(jù)空間訪問控制。理論和實驗證明該框架是可行和有效的。