小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
7期
1620-1624
,共5页
EPC网络%RFID%ONS%Canetti-Krawczyk模型
EPC網絡%RFID%ONS%Canetti-Krawczyk模型
EPC망락%RFID%ONS%Canetti-Krawczyk모형
EPC network%RFID%ONS%Canetti-Krawczyk model
分析了EPC网络中ONS查询过程,指出现有过程在身份认证、消息机密性和完整性等方面存在安全缺陷.提出了一种可证明安全的ONS查询方案,引入对称密码和消息认证码等技术,实现ONS服务器之间的双向认证和安全密钥分发,从而有效保护ONS服务器之间消息传递的机密性和完整性.利用安全协议形式化分析工具Canetti-Krawczyk模型进行了安全性分析,分析表明该方案是可证明安全的.同时,性能对比分析表明该方案具有较低的通信开销和计算量,减少了安全机制对性能造成的影响.
分析瞭EPC網絡中ONS查詢過程,指齣現有過程在身份認證、消息機密性和完整性等方麵存在安全缺陷.提齣瞭一種可證明安全的ONS查詢方案,引入對稱密碼和消息認證碼等技術,實現ONS服務器之間的雙嚮認證和安全密鑰分髮,從而有效保護ONS服務器之間消息傳遞的機密性和完整性.利用安全協議形式化分析工具Canetti-Krawczyk模型進行瞭安全性分析,分析錶明該方案是可證明安全的.同時,性能對比分析錶明該方案具有較低的通信開銷和計算量,減少瞭安全機製對性能造成的影響.
분석료EPC망락중ONS사순과정,지출현유과정재신빈인증、소식궤밀성화완정성등방면존재안전결함.제출료일충가증명안전적ONS사순방안,인입대칭밀마화소식인증마등기술,실현ONS복무기지간적쌍향인증화안전밀약분발,종이유효보호ONS복무기지간소식전체적궤밀성화완정성.이용안전협의형식화분석공구Canetti-Krawczyk모형진행료안전성분석,분석표명해방안시가증명안전적.동시,성능대비분석표명해방안구유교저적통신개소화계산량,감소료안전궤제대성능조성적영향.
