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

作　　者：ZHONG Xiaomei XIAO Meihua ZHANG Tong YANG Ke LUO Yunxian 

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

出　　处：《Chinese Journal of Electronics》2022年第1期79-88,共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 

分 类 号：TP391.44[自动化与计算机技术—计算机应用技术] TN915.04[自动化与计算机技术—计算机科学与技术]