Protocols; Computational modeling; Analytical models;
机译:基于哈希函数和密码的RFID认证协议的形式验证
机译:RFID超轻量互认证协议的形式化分析与改进
机译:RFID超轻量互认证协议的形式化分析与改进
机译:使用NUXMV进行RFID协议的正式验证
机译:RFID协议中不可追溯性的分类,形式化和自动验证。
机译:无源标签的杰出RFID身份验证协议调查
机译:使用CasperFDR和aVIspa正式验证的低成本RFID标签的相互认证协议