带有异或运算安全协议的自动化检测[EB/OL]
北京：中国科技论文在线
实现了对带有异或运算安全协议的自动化检测
） 摘要： 针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题
该模型检测器通过引入抽象异或项的概念及其运算规则
RFID认证协议安全性分析 通信联系人： 【收录情况】 中国科技论文在线： 杨元原
带有异或运算安全协议的自动化检测Automatic Detection of Security Protocols with XOR
3997
来源：
Licence：
联系：
分类：
平台：
环境：
大小：
更新：
标签：
免费下载
×
温馨提示
请用电脑打开本网页，即可以免费获取你想要的了。
