可证明UC安全的前后向不可追踪的RFID双向认证协议

摘要

文章基于通用可组合安全模型，设计了一个RFID双向认证协议，该协议实现了前向和后向不可追踪性，能抵御RFID系统中常见的弱攻击或者强攻击，并且基于通用可组合安全模型证明了该协议在任意未知环境中也不会降低其安全性。%　　We propose a RFID mutual authentication protocol based on universally composable model. This protocol provides forward untraceability and backward untraceability, and can resist various strong and weak attacks. Universally composable security guarantees that the protocol holds secure requirements even when running in an arbitrary and unknown environment.