可证明安全的rfid标签所有权转移协议

？随着物品所有权的转移，其上附着的rfid标签的所有权也需要转移。安全和隐私问题是标签所有权转移过程中需要研究的重点问题。在通用可组合框架下，形式化定义了rfid标签所有权转移的理想函数。提出了一个新的轻量级rfid标签所有权转移协议，并证明了该协议安全地实现了所定义的理想函数，即具有双向认证、标签匿名性、抗异步攻击、后向隐私保护和前向隐私保护等安全属性。与已有的rfid标签所有权转移协议相比，新协议中rfid标签的计算复杂度和存储空间需求都较低，并且与新旧所有者的交互较少，能够更加高效地实现低成本标签的所有权转移。