Structured Method Research Based on Non-interference
System security- is currently a important problem in information security field. However, most researches are focused on access control and other security functions. It is rarely involved to assure correct implementation of these mechanisms in the operating system. This paper studies a structured method based on non-interference, and gives definition and conditions of system security. Then we formalize structural requirements of system domain, and prove that a secure domain can be available by structured method proposed.
operating system structured assurance noninterference Intransitive
Yu Sun Jun Hu Yasha Chen
Computer Science Department Beijing University of Technology Beijing,China College of information and electrical engineering Naval University of Engineering Wuhan,Hubei
国际会议
太原
英文
653-657
2011-02-26（万方平台首次上网日期，不代表论文的发表时间）