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