Institutional Repository
| 基于静态分析的强制访问控制框架的正确性验证 | |
| Alternative Title | static analysis based correctness verification for mandatory access control framework |
| 吴新松; 周洲仪; 贺也平; 梁洪亮; 袁春阳 | |
| 2009 | |
| Source | 计算机学报
 |
| ISSN | 0254-4164 |
| Volume | 32Issue:4Pages:730-739 |
| English Abstract | 现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证.文中基于TrustedBSD MAC框架对强制访问控制框架的正确性验证问题进行了研究,在授权钩子放置验证的基础上,提出了安全标记的完全初始化验证和完全销毁验证.为了实现上述验证,文中提出了一个路径敏感的、基于用户自定义检查规则的静态分析方法.该方法通过对集成于编译器的静态分析工具mygcc进行扩展来验证强制访问控制框架的钩子放置的准确性和完备性.该方法具有完全的路径覆盖性,且具有低的误报率和时间开销. |
| Indexed Type | wanfang,ei,cnki,cscd |
| Keyword | 正确性验证 静态分析 强制访问控制框架 钩子放置 Mygcc Mygcc Correctness Verification Static Analysis Mandatory Access Control Framework Hooks Placement Mygcc |
| Department | 基础软件国家工程研究中心 |
| Sponsorship | Xidian University |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3732 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | 吴新松,周洲仪,贺也平,等. 基于静态分析的强制访问控制框架的正确性验证[J]. 计算机学报,2009,32(4):730-739. |
| APA | 吴新松,周洲仪,贺也平,梁洪亮,&袁春阳.(2009).基于静态分析的强制访问控制框架的正确性验证.计算机学报,32(4),730-739. |
| MLA | 吴新松,et al."基于静态分析的强制访问控制框架的正确性验证".计算机学报 32.4(2009):730-739. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 8.pdf（788KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment