RFID安全协议的设计与及分析.pdfVIP

第 29 卷 　第 4 期 计 　　算 　　机 　　学 　　报 Vol . 29 No . 4 2006 年 4 月 C H IN ESE J OU RN AL O F COM PU T ER S Ap r . 2006 　 RFID 安全协议的设计与分析 周永彬 　　冯登国 ( 中国科学院软件研究所信息安全国家重点实验室 　北京 　100080) 摘 　要 　回顾了已有的各种 RFID 安全机制 ,重点介绍基于密码技术的 RF ID 安全协议 ;分析了这些协议的缺陷; 讨论了基于可证明安全性理论来设计和分析 RF ID 安全协议的模型和方法. 关键词 　R IFD 系统 ;安全协议 ;可证明安全性 ;安全模型 中图法分类号 TP309 Design and Analysis of Cryptographic Protocol s f or RFID ZHOU YongBin 　F EN G DengGuo ( ) S t ate Key L aboratory of I nf orm at ion S ecu rity , I ns t it ute of S of t w are , Chi nese A ca demy of S ciences , B eij i ng 　100080 Abstract 　 Recent ly , R F ID sy st em i s being widely con sidered a s a main t echnolo gy to realize ubiquitou s co mp uting environment , but t he f eat ure s of t he R F ID sy st em s and t he con st raint s of R F ID device s may bring about variou s p rivacy p roblem s. The bigge st challenge for RF ID t echnol o gy i s to p rovide benefit s wit hout t hreat ening t he p rivacy of con sumer s. Thi s p ap er review s t he exi sting R F ID sy st em securit y mechani sm s , wit h a focu s on cryp to grap hic p rotocol s. Weakne sse s or flaw s in t he se p rotocol s are examined . Then a t heoretical mo del and met ho d to de sign and ana lyze R F ID p rotocol s wit hin t he p rovable securit y f ramewor k i s di scu ssed . Key words 　R F ID sy st em ; cryp to grap hic p rotocol ; p rovable securit y ; securit y mo del