中国科技成果2021，Vol.22Issue(22)：43-44,76,3.DOI:10.3772/j.issn.1009-5659.2021.22.019
网络空间安全可信性测评关键技术研发与应用
王丹琛 1徐鹏 2王颉 1徐扬 3冯暄4
作者信息
- 1. 西南交通大学系统可信性自动验证国家地方联合工程实验室,四川 成都 611756
- 2. 四川省信息安全测评中心,四川 成都 610091
- 3. 西南交通大学数学学院,四川 成都 611756
- 4. 深圳开源互联网安全技术有限公司,广东 深圳 518116
- 折叠
摘要
关键词
可信性验证/软件系统安全/电磁信息安全/可信性测评引用本文复制引用
王丹琛,徐鹏,王颉,徐扬,冯暄..网络空间安全可信性测评关键技术研发与应用[J].中国科技成果,2021,22(22):43-44,76,3.
