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

作　　者：何旭[1] 任晓静[1] 

机构地区：[1]达州职业技术学院,四川635001

出　　处：《网络安全技术与应用》2018年第10期19-20,共2页Network Security Technology & Application

基　　金：四川省教育厅理工科重点项目基金(14ZA0330)

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

关 键 词：组件 安全性 保护机制 功能规范 验证 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]