北方工业大学计算机学院信息安全系

研究主题：认证性

研究学科：自动化类

被引量：0H指数：0EI: 1 北大核心: 1 CSCD: 1

检索结果分析

全选清除导出

排序方式：

共 1 条记录，以下是 1-1

协议认证性安全属性测试方法 ( EI收录): 1; 《电子学报》西安电子科技大学计算机网络与信息安全教育部重点实验室;北方工业大学计算机学院信息安全系何云华杨超张俊伟马建峰出版年：2016; 国家自然科学基金青年基金(No.61303219);国家自然科学基金面上基金(No.61672415);陕西省自然科学基础研究计划(No.2014JQ8295);中央高校基本科研业务费(No.JB140303); 认证性建立通信双方的信任关系,是安全通信的重要保障.传统的协议测试方法只关注协议功能的正确性,无法满足认证性等安全属性测试的要求.因此,提出了一种针对协议认证性的安全属性测试方法,利用带目标集合的有限状态机模型SPG-E...; 关键词：协议测试安全属性认证性测试形式化模型攻击分类

全选清除导出

共1页<< <1> >>