电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2013年
2期
227-232
,共6页
吴呈邑%熊焰%黄文超%陆琦玮%龚旭东
吳呈邑%熊燄%黃文超%陸琦瑋%龔旭東
오정읍%웅염%황문초%륙기위%공욱동
公平非抵赖%可信计算%移动自组网%动态第三方
公平非牴賴%可信計算%移動自組網%動態第三方
공평비저뢰%가신계산%이동자조망%동태제삼방
由于移动自组网Manet(Mobile Ad-hoc Networks)是一个无中心的网络且不存在值得信任的结点,传统的公平非抵赖协议因需要一个固定可信第三方TTP(Trusted Third Party)而不足以保证Manet的高效性和安全性.本文在可信平台模块IPM(Trusted Platform Module)的安全体系结构基础上提出了一种Manet中基于动态第三方的可信公平非抵赖协议,以取代固定TIP,提高协议效率,并运用TPM完整性度量技术和DAA(Direct Anonymous Attestation)远程认证技术,保证证据可信.最后利用Event B对该协议进行形式化建模,证明其有效性和公平性.
由于移動自組網Manet(Mobile Ad-hoc Networks)是一箇無中心的網絡且不存在值得信任的結點,傳統的公平非牴賴協議因需要一箇固定可信第三方TTP(Trusted Third Party)而不足以保證Manet的高效性和安全性.本文在可信平檯模塊IPM(Trusted Platform Module)的安全體繫結構基礎上提齣瞭一種Manet中基于動態第三方的可信公平非牴賴協議,以取代固定TIP,提高協議效率,併運用TPM完整性度量技術和DAA(Direct Anonymous Attestation)遠程認證技術,保證證據可信.最後利用Event B對該協議進行形式化建模,證明其有效性和公平性.
유우이동자조망Manet(Mobile Ad-hoc Networks)시일개무중심적망락차불존재치득신임적결점,전통적공평비저뢰협의인수요일개고정가신제삼방TTP(Trusted Third Party)이불족이보증Manet적고효성화안전성.본문재가신평태모괴IPM(Trusted Platform Module)적안전체계결구기출상제출료일충Manet중기우동태제삼방적가신공평비저뢰협의,이취대고정TIP,제고협의효솔,병운용TPM완정성도량기술화DAA(Direct Anonymous Attestation)원정인증기술,보증증거가신.최후이용Event B대해협의진행형식화건모,증명기유효성화공평성.