安全访问的轻量级完整性模型研究及实施
안전방문적경량급완정성모형연구급실시
Research and implementation of light weight integrity model on security access
  • 万方数据
    计算机应用研究 계산궤응용연구
    APPLICATION RESEARCH OF COMPUTERS
    2007年 8期 173-175,183 ,共4页

    陈莉君%石莉%刘霞林

    진리군%석리%류하림

    机密性%完整性%SELinux%轻量级模型 機密性%完整性%SELinux%輕量級模型
    궤밀성%완정성%SELinux%경량급모형
    对传统的完整性模型进行了分析,并对其完整性给予形式化描述.在此基础上,提出了轻量级的Clark-Wilson模型,并给出了其在安全增强操作系统SELinux中的实施.
    대전통적완정성모형진행료분석,병대기완정성급여형식화묘술.재차기출상,제출료경량급적Clark-Wilson모형,병급출료기재안전증강조작계통SELinux중적실시.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문