安全规范模块验证方法的研究

• 作者: 任晓静 何旭
• 来源期刊: 网络安全技术与应用
• 关键词: 组件 安全性 保护机制 功能规范 验证
• 年，卷（期）: 2018,（10）
• 所属期刊栏目: 操作系统、网络体系与服务器技术
• 页码范围: 19-20
• 页数: 2页
• 字数: 2708字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-6833.2018.10.014

摘要

针对大多数软件组件验证其安全性是非常重要的,本文对验证软件本身安全性进行了简单介绍.分析了软件隔离在操作系统内核的虚拟内存保护机制内和不接受不受信任输入的加密身份验证,分析了静态分析与功能正确性验证的功能规范说明的程序建模及数据抽象.提出了功能规范端到端、模块化、编译程序来进行功能正确性验证的保护机制,探索了模块安全与功能正确保护机制验证的方法.得出了内核、加密和编译器可以通过编译功能进行正确性验证的途径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何旭		21	21	3.0	3.0
2	任晓静		11	11	1.0	2.0