Proving Mutual Authentication Property of RCIA Protocol in RFID Based on Logic of Events

查看全文 作　　者：ZHONG [1]Xiaomei;XIAO [1]Meihua;ZHANG [1]Tong;YANG [1]Ke;LUO [1]Yunxian

机构地区：[1]School of Software,East China Jiaotong University,Nanchang 330013,China

出　　处：《Chinese Journal of Electronics》索引2022年第31卷第1期,共10页

基　　金：supported by the National Natural Science Foundation of China(61962020,61562026)。 摘　　要：The increasing commercialization and massive deployment of radio frequency identification(RFID) systems has raised many security related issues which in return evokes the need of security protocols. Logic of events theory(Lo ET) is a formal method for constructing and reasoning about distributed systems and protocols that involve concepts of security. We propose fresh ciphertext and ciphertext release lemmas to extend Lo ET for analyzing and proving the security of authentication protocols that use symmetric key cryptography more than just digital signature. Based on the extended Lo ET we formally analyze and prove the authentication property of RCIA protocol, which provides mutual authentication between Tag and Reader in RFID system.Our proof approach based on extended Lo ET could be applied to the design and analysis of such ultralightweight RFID mutual authentication protocols. 关键词：RFID Ultralightweight mutual authentication protocol RCIA protocol Logic of events Theorem proving

相关文献

参考文献（36）
引证文献（4）
耦合文献（142）

参考文献(36)

引证文献(4)

耦合文献(142)

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

Proving Mutual Authentication Property of RCIA Protocol in RFID Based on Logic of Events

参考文献(36)

引证文献(4)

耦合文献(142)

用户提示