論文元數(shù)據(jù)搜索，找到相關(guān)信息共 3 條：
2003, 25(10): 1355-1360.
刊出日期：2003-10-19
文中在B.Zhou提出的直接概率計(jì)算(DC)和近似概率計(jì)算(AC)算法基礎(chǔ)上提出了一種新的近似多傳感器多目標(biāo)聯(lián)合概率數(shù)據(jù)關(guān)聯(lián)算法。近似概率法是以一個(gè)目標(biāo)為中心的近似聚為構(gòu)造互聯(lián)事件的起點(diǎn)，并在計(jì)算中將DC和AC結(jié)合得到的一種全鄰的點(diǎn)跡-航跡關(guān)聯(lián)算法。它能有效地提高目標(biāo)點(diǎn)跡-航跡的關(guān)聯(lián)正確率，在計(jì)算時(shí)耗上較完全聯(lián)合概率法快得多，能滿足工程中實(shí)時(shí)性的要求，將其在雜波下目標(biāo)密集、航跡復(fù)雜的數(shù)據(jù)融合系統(tǒng)中進(jìn)行實(shí)驗(yàn)，對(duì)關(guān)聯(lián)正確率，關(guān)聯(lián)耗時(shí)等與最近鄰法進(jìn)行了比較，效果較好。
2007, 29(4): 901-905.
doi: 10.3724/SP.J.1146.2005.01088
刊出日期：2007-04-19
關(guān)鍵詞:
電子商務(wù)協(xié)議;公平性;安全性;形式化分析;ATL
針對(duì)傳統(tǒng)時(shí)序邏輯LTL，CTL及CTL*等把協(xié)議看成封閉系統(tǒng)進(jìn)行分析的缺點(diǎn)，Kremer博士(2003)提出用一種基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平電子商務(wù)協(xié)議并對(duì)幾個(gè)典型的協(xié)議進(jìn)行了公平性等方面的形式化分析。本文討論了ATL邏輯及其在電子商務(wù)協(xié)議形式化分析中的應(yīng)用，進(jìn)一步擴(kuò)展了Kremer博士的方法，使之在考慮公平性等特性的同時(shí)能夠分析協(xié)議的安全性。最后本文用新方法對(duì)Zhou等人(1999)提出的 ZDB協(xié)議進(jìn)行了嚴(yán)格的形式化分析，結(jié)果發(fā)現(xiàn)該協(xié)議在非保密通道下存在兩個(gè)可能的攻擊：保密信息泄露和重放攻擊。
, 最新更新時(shí)間: ,
doi: 10.11999/JEIT240796
在車載網(wǎng)絡(luò)(VANETs)中，聯(lián)邦學(xué)習(xí)(FL)通過(guò)協(xié)同訓(xùn)練機(jī)器學(xué)習(xí)模型，實(shí)現(xiàn)了車輛間的數(shù)據(jù)隱私保護(hù)，并提高了整體模型的性能。然而，F(xiàn)L在VANETs中的應(yīng)用仍面臨諸多挑戰(zhàn)，如模型泄露風(fēng)險(xiǎn)、訓(xùn)練結(jié)果驗(yàn)證困難以及高計(jì)算和通信成本等問(wèn)題。針對(duì)這些問(wèn)題，該文提出一種面向聯(lián)邦學(xué)習(xí)的可驗(yàn)證隱私保護(hù)批量聚合方案。首先，該方案基于Boneh-Lynn-Shacham (BLS)動(dòng)態(tài)短群聚合簽名技術(shù)，保護(hù)了客戶端與路邊單元(RSU)交互過(guò)程中的數(shù)據(jù)完整性，確保全局梯度模型更新與共享過(guò)程的不可篡改性。當(dāng)出現(xiàn)異常結(jié)果時(shí)，方案利用群簽名的特性實(shí)現(xiàn)車輛的可追溯性。其次，結(jié)合改進(jìn)的Cheon-Kim-Kim-Song (CKKS)線性同態(tài)哈希算法，對(duì)梯度聚合結(jié)果進(jìn)行驗(yàn)證，確保在聯(lián)邦學(xué)習(xí)的聚合過(guò)程中保持客戶端梯度的機(jī)密性，并驗(yàn)證聚合結(jié)果的準(zhǔn)確性，防止服務(wù)器篡改數(shù)據(jù)導(dǎo)致模型訓(xùn)練無(wú)效的問(wèn)題。此外，該方案還支持車輛在部分掉線的情況下繼續(xù)更新模型，保障系統(tǒng)的穩(wěn)定性。實(shí)驗(yàn)結(jié)果表明，與現(xiàn)有方案相比，該方案在提升數(shù)據(jù)隱私安全性和結(jié)果的可驗(yàn)證性的同時(shí)，保證了較高效率。
