HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 串空间论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
BAN逻辑与串空间相结合的安全协议分析方法第147-149页
关键词: 串空间  ban逻辑  安全协议  形式化分析  协议分析  状态空间  模型  相结合  优点  安全性  
2005年第03期 《信息安全与通信保密》
一种改进的基于认证测试的形式化分析方法第27-33页
关键词: 串空间  认证测试  形式化分析方法  安全协议  
2019年第01期 《信息网络安全》
基于理想的协议安全性分析第2150-2156页
关键词: 串空间  密码协议  理想  
2005年第12期 《软件学报》
串空间理论扩展第1784-1789页
关键词: 安全协议  串空间  理想  诚实理想  
2005年第10期 《软件学报》
轻量级移动支付协议公平性分析第82-87页
关键词: 移动支付协议  形式化分析  串空间  公平性  模型检测  
2018年第19期 《计算机工程与应用》
AVSP算法第867-869页
关键词: avsp算法  安全协议  串空间  算法  模型检测技术  
2005年第04期 《计算机工程与设计》
基于串空间的移动自组网路由协议安全性分析第109-111页
关键词: 无线自组网络  路由协议  安全  串空间  
2005年第31期 《计算机工程与应用》
交叉协议安全性分析第173-175页
关键词: 串空间  密码协议  交叉协议  
2004年第33期 《计算机工程与应用》
串空间方法分析协议公平性的研究第17-21页
关键词: 安全协议  公平性  串空间  形式化描述  
2004年第35期 《计算机工程与应用》
基于伪ID的RFID认证协议及串空间证明第142-146页
关键词: 认证协议  rfid  hash  串空间  
2017年第10期 《计算机科学》
串空间代数缺陷到实际攻击的转换第90-92页
关键词: 串空间  攻击  缺陷  代数  启发式规则  密钥协议  rees  安全性  公钥  
2005年第07期 《计算机科学》
基于串空间的KryptoKnight协议分析及与逻辑化方法的比较第66-68页
关键词: kryptoknight  串空间  安全协议  逻辑化  网络安全  
2005年第12X期 《科技与创新》
安全协议形式化分析方法的融合性研究第40-44页
关键词: 安全协议  helsinki协议  ban逻辑  串空间  
2010年第05期 《西北师范大学学报·自然科学版》
异构无线传感器网络混合式密钥管理协议第2309-2314页
关键词: 异构无线传感器网络  密钥管理协议  串空间  能量有效性  
2016年第09期 《计算机工程与设计》
认证测试的一个扩展第488-493页
关键词: 串空间  认证测试  变换实施边  变换路径  
2007年第04期 《中国科学院大学学报》
双向认证的密码协议及其形式分析与应用第834-840页
关键词: 数字签名  串空间  认证测试理论  
2006年第06期 《科技通报》
一种基于串空间的不变集生成算法第443-446页
关键词: 不变集  理想  诚实性  串空间  
2006年第03期 《哈尔滨工业大学学报》
协议的理想化分析的应用第30-33页
关键词: 串空间  理想  应用  
2007年第06期 《吉首大学学报·自然科学版》
分析和设计安全协议的新逻辑的语义第150-153页
关键词: 逻辑语义  安全协议  串空间  
2006年第02期 《云南民族大学学报·自然科学版》
基于串空间的Kao Chow加密协议形式化验证第1529-1533页
关键词: 串空间  kao  chow加密协议  协议正确性证明  
2007年第12期 《中国科学技术大学学报》
期刊导航