首页 | 本学科首页   官方微博 | 高级检索  
     

安全访问的轻量级完整性模型研究及实施*
引用本文:陈莉君,石莉,刘霞林.安全访问的轻量级完整性模型研究及实施*[J].计算机应用研究,2007,24(8):173-175.
作者姓名:陈莉君  石莉  刘霞林
作者单位:1. 西安邮电学院,计算机系,西安,710061
2. 陕西科技大学,电气与信息工程学院,西安,710021
摘    要:对传统的完整性模型进行了分析,并对其完整性给予形式化描述.在此基础上,提出了轻量级的Clark-Wilson模型,并给出了其在安全增强操作系统SELinux中的实施.

关 键 词:机密性  完整性  SELinux  轻量级模型  安全访问  轻量级  模型  研究  实施  access  security  model  integrity  weight  light  implementation  SELinux  操作系统  安全增强  形式化描述  分析
文章编号:1001-3695(2007)08-0173-03
修稿时间:2006-06-052006-09-08

Research and implementation of light weight integrity model on security access
CHEN Li jun,SHI Li,LIU Xia lin.Research and implementation of light weight integrity model on security access[J].Application Research of Computers,2007,24(8):173-175.
Authors:CHEN Li jun  SHI Li  LIU Xia lin
Abstract:
Keywords:
本文献已被 维普 万方数据 等数据库收录!
点击此处可从《计算机应用研究》浏览原始摘要信息
点击此处可从《计算机应用研究》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号