LIANG Hongliang, LI Shoupeng, DONG Shouji, et al., “Design and Implementation of EARTH Operating System,” Chinese Journal of Electronics, vol. 21, no. 1, pp. 33-36, 2012,
Citation: LIANG Hongliang, LI Shoupeng, DONG Shouji, et al., “Design and Implementation of EARTH Operating System,” Chinese Journal of Electronics, vol. 21, no. 1, pp. 33-36, 2012,

Design and Implementation of EARTH Operating System

  • Received Date: 2010-09-01
  • Rev Recd Date: 2011-01-01
  • Publish Date: 2012-01-05
  • As secure infrastructural software, secure operating systems are well known for its protection against kinds of threats and attacks. In this paper, we report the work of building EARTH operating system towards to “structurized protection” level of national security standards. EARTH has a flexible architecture supporting dynamic multiple policies, effective mandatory access control mechanism. We give formal system specification and proof of the security models and provide covert channel analysis and mitigation methods. Our experiments show that EARTH has good system performance. Furthermore, the research and development experiences and lessons learned in EARTH project is discussed.
  • loading
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (931) PDF downloads(748) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return