关键词: ban逻辑  形式化分析  无线局域网协议  协议安全  

2011年第03期 《湖北师范大学学报·哲学社会科学版》

关键词: kerberos  pkinit  一次性口令  口令猜测攻击  ban逻辑  

2019年第10期 《信息网络安全》

关键词: 轻量级  安全协议  一次性密码本  ban逻辑  

2009年第23期 《信息技术与网络安全》

关键词: 移动ipv6  授权  认证  ban逻辑  体系结构  安全认证  设计研究  形式化分析  认证方案  移动环境  

2005年第11期 《信息技术与网络安全》

关键词: 远程身份验证  生物统计信息  椭圆曲线密码  智能卡  ban逻辑  

2019年第01期 《南京理工大学学报》

关键词: 无线射频识别  hash函数  动态更新id  安全双向认证  ban逻辑  

2011年第06期 《轻工学报》

关键词: ban逻辑  yahalom协议  缺陷  逻辑分析  

2009年第28期 《科学技术创新》

关键词: 应答身份认证协议  密钥交换  ban逻辑  

2014年第06期 《网络空间安全》

关键词: rfid  云数据库  认证协议  ban逻辑  

2018年第03期 《密码学报》

关键词: rfid认证  云数据库  ban逻辑  

2015年第04期 《密码学报》

关键词: hash函数  非对称密钥  rfid认证  ban逻辑  

2014年第05期 《密码学报》

关键词: 欺诈  否认  ban逻辑  kailar逻辑  

2004年第02期 《中国科学院大学学报》

关键词: 射频识别  中国剩余定理  时间戳  ban逻辑  双向认证  

2018年第05期 《空军工程大学学报》

关键词: can总线  认证协议  ban逻辑  密钥序列  负载率  

2018年第02期 《计算技术与自动化》

关键词: 串空间  ban逻辑  安全协议  形式化分析  协议分析  状态空间  模型  相结合  优点  安全性  

2005年第03期 《信息安全与通信保密》

关键词: 椭圆曲线密码  rfid  认证协议  ban逻辑  

2018年第10期 《信息网络安全》

关键词: 多服务器环境  椭圆曲线密码  身份认证  模糊提取器  ban逻辑  

2018年第06期 《计算机科学》

关键词: 智能电表  认证协议  二次剩余  hash  ban逻辑  

2018年第07期 《计算机科学》

关键词: 云数据库  rfid  轻量级认证协议  群组认证  ban逻辑  

2019年第01期 《计算机科学》

关键词: 射频识别  安全认证协议  安全性分析  ban逻辑  软件仿真  

2018年第12期 《软件导刊》