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

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

关键词: 形式化方法  形式化模型  形式化分析  四变量模型  

2019年第04期 《航空电子技术》

关键词: 工业控制系统  形式化分析  时间自动机  modbus协议  uppaal  

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

关键词: 密码协议  形式化分析  定理证明  模型检测  前推  

2017年第05期 《信息安全研究》

关键词: 身份鉴别  鉴别协议  形式化分析  

2005年第06期 《工程科学与技术》

关键词: 有色petri网  安全协议  形式化分析  面向对象编程语言  

2011年第15期 《信息技术与网络安全》

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

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

关键词: cip  tls  scyther  形式化分析  

2019年第07期 《信息技术与网络安全》

关键词: 移动自组网  路由协议  形式化分析  

2008年第12期 《图书情报导刊》

关键词: 不可否认性  形式化分析  公平性  博弈  mocha  

2011年第09期 《网络空间安全》

关键词: 密码协议  形式化分析  模型检测  运行模式分析法  

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

关键词: ssl协议  形式化分析  运行模式分析法  

2005年第04期 《中国科学院大学学报》

关键词: 非否认协议  形式化分析  svo逻辑  

2005年第01期 《电子学报》

关键词: 安全协议  形式化分析  电子商务  internet网络  cryptographer  

2005年第02期 《电子学报》

关键词: 形式化分析  系统测试  计算机支持的电信应用协议  

2005年第12期 《武汉纺织大学学报》

关键词: 时序petri网  模型检测  形式化建模  形式化分析  

2018年第06期 《山东理工大学学报·自然科学版》

关键词: 复合型电子支付协议  双向认证  svo逻辑  kailar逻辑  形式化分析  

2018年第06期 《计算机应用与软件》

关键词: grid  leader选择协议  形式化分析  信誉系统  信誉度  

2018年第08期 《计算机测量与控制》

关键词: tw密码协议  形式化分析  运行模式  

2005年第09期 《计算机应用研究》

关键词: 分布式文件系统  信息流跟踪  安全代数  无干扰  形式化分析  

2018年第11期 《计算机应用研究》