molnar协议的安全性证明

？molnar协议是射频识别(rfid)系统中读写器与标签之间的双边认证协议，同时强调能够保护标签的位置隐私，而协议安全性尚未得到形式化的分析和证明。在eha模型下，严格地证明了molnar协议具有不可预测的强隐私性，并得到确切的安全界。协议的证明使用了基于game的方法，将协议的隐私性紧致地归约到伪随机函数的输出与随机函数的输出多项式时间不可区分的假设上，对分析和解决rfid系统安全性问题有效而通用。