系统安全状态控制基础技术研究 |
| |
引用本文: | 林植,乔明峰,谈园.系统安全状态控制基础技术研究[J].华中科技大学学报(自然科学版),2013(Z2):265-269. |
| |
作者姓名: | 林植 乔明峰 谈园 |
| |
作者单位: | 国防信息学院四系;710厂军代表室 |
| |
基金项目: | 国家重点基础研究发展计划资助项目(20110CB302300) |
| |
摘 要: | 针对基于状态控制的系统安全相关研究欠缺的问题,首先从访问控制的缺陷、状态控制的优势等方面讨论了研究的必要性和可行性;其次,通过引入粗粒度文件、程序及具动态特征的函数等状态,扩展了安全状态的定义;最后从信息流控制和状态对象控制的角度,提出状态取值空间、开放空间和操作空间的概念,并以此为出发点提出了状态的转换、操作、控制及检测等特征的分析方法.在此基础上,从以状态控制为目标和手段两个角度给出了其在系统安全增强及安全检测方面的应用思路.
|
关 键 词: | 访问控制 安全状态控制 取值空间 开放空间 操作空间 状态转换 |
本文献已被 CNKI 等数据库收录! |
|