作者：张小红; 郭焰辉椭圆曲线密码rfid认证协议ban逻辑
摘要：随着RFID技术在军事、金融、公共安全等领域的广泛应用，人们对RFID系统的安全性提出更高的要求。文章利用椭圆曲线密码（ECC）密钥短、安全性高且存储空间小的特点，设计了一种基于ECC的RFID系统双向认证协议，并用BAN逻辑形式化分析和证明了该协议能够达到预期的安全目标。与其他同类应用协议相比，该协议在抵抗跟踪攻击、拒绝服务攻击、重传攻击以及假冒攻击等方面均有较好的可信度，且能满足双向认证性、机密性、匿名性和前向安全性。该协议所需椭圆曲线点乘运算次数为3次，相比其他协议可减少60％的标签计算开销，RFID系统的执行效率可提高70％，可适用于军事物流管理及涉密文件保密等关键领域。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
