典型文献
Proving Mutual Authentication Property of RCIA Protocol in RFID Based on Logic of Events
文献摘要：
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.Lo-gic of events theory(LoET)is a formal method for con-structing and reasoning about distributed systems and protocols that involve concepts of security.We propose fresh ciphertext and ciphertext release lemmas to extend LoET for analyzing and proving the security of authentic-ation protocols that use symmetric key cryptography more than just digital signature.Based on the extended LoET we formally analyze and prove the authentication property of RCIA protocol,which provides mutual au-thentication between Tag and Reader in RFID system.Our proof approach based on extended LoET could be ap-plied to the design and analysis of such ultralightweight RFID mutual authentication protocols.
文献关键词：
中图分类号：
作者姓名：
ZHONG Xiaomei;XIAO Meihua;ZHANG Tong;YANG Ke;LUO Yunxian
作者机构：
School of Software,East China Jiaotong University,Nanchang 330013,China
文献出处：
引用格式：
[1]ZHONG Xiaomei;XIAO Meihua;ZHANG Tong;YANG Ke;LUO Yunxian-.Proving Mutual Authentication Property of RCIA Protocol in RFID Based on Logic of Events)[J].电子学报（英文）,2022(01):79-88
A类：
RCIA,LoET,thentication,ultralightweight
B类：
Proving,Mutual,Authentication,Property,Protocol,RFID,Based,Logic,Events,increasing,commercialization,massive,deployment,radio,frequency,identification,systems,has,raised,many,security,related,issues,which,return,evokes,need,protocols,events,theory,method,structing,reasoning,about,distributed,that,involve,concepts,We,propose,fresh,ciphertext,release,lemmas,analyzing,proving,use,symmetric,key,cryptography,more,than,just,digital,signature,extended,formally,analyze,prove,authentication,property,provides,mutual,between,Tag,Reader,Our,proof,approach,could,plied,design,analysis,such
AB值：
0.558678
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
