退出
我的积分:
中文文献批量获取
外文文献批量获取
韩旭1; 陆思奇12; 程庆丰123;
[1]洛阳外国语学院,河南洛阳471003;
[2]密码科学技术国家重点实验室,北京100878;
[3]西安电子科技大学计算机学院,西安710071;
形式化分析工具 Scyther工具 比较研究 安全模型 TLS协议;
机译:走向更安全的EMV购买事务:SCYTHER工具正式分析的新安全协议
机译:形式化和工具配备的状态图和形式化数据类型集成方法
机译:使用Scyther工具对信号协议进行形式化分析
机译:使用多目标优化工具进行最佳管理实践选择和空间放置的非目标优化工具,犹他州
机译:形式化和从属:优化初级保健团队的权变理论方法
机译:Scyther工具:安全协议的验证,伪造和分析-工具文件
机译:信息保护技术的形式化方法任务1:基于形式语法的方法和模拟计算机网络攻击工具第二部分
机译:实例分析器和实例分析方法
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。