主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
卿斯汉,朱继锋.安胜安全操作系统的隐蔽通道分析.软件学报,2004,15(9):1385-1392
安胜安全操作系统的隐蔽通道分析
Covet Channel Analysis on ANSHENG Secure Operating System
投稿时间:2004-05-17  修订日期:2004-07-16
DOI:
中文关键词:  安胜安全操作系统  隐蔽通道分析  回溯方法  存储通道  信息流
英文关键词:ANSHENG secure operating system  covert channel analysis  backward tracking approach  storage channel  information flow
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60083007(国家自然科学基金);the National Grand Fundamental Research 973 Program of China under Grant No.G1999035810(国家重点基础研究发展规划(973))
作者单位
卿斯汉 中国科学院,信息安全技术工程研究中心,北京,100080
中国科学院,软件研究所,北京,100080
中国科学院,研究生院,北京,100039 
朱继锋 中国科学院,信息安全技术工程研究中心,北京,100080
中国科学院,软件研究所,北京,100080
中国科学院,研究生院,北京,100039 
摘要点击次数: 3565
全文下载次数: 3887
中文摘要:
      安胜安全操作系统是自主研制的基于Linux的高安全等级安全操作系统,包括安全内核,安全架构与安全模型.总结了对该系统进行的隐蔽通道分析方法,首次报道基于Linux内核开发的安全操作系统的隐蔽通道分析结果.应用新型的"回溯方法"发现了某些新的隐蔽通道.对被标识的隐蔽通道,准确地计算了它们的带宽,并进行了适当的隐蔽通道处理.
英文摘要:
      ANSHENG operating system is a secure operating system with high security level based on Linux, which is independently developed with the security kernel, security framework and security models. In this paper, the approaches to analyzing covert channels in the underlying system are summarized, and it is the first time that the covert-channel-analysis results on a secure operating system based on Linux kernel have ever been reported. Some new covert channels have been found by the novel backward tracking approach. For the identified covert channels, accurate bandwidth computation and appropriate covert-channel handling have been performed.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利