安全linux操作系统及安全web系统的形式化建模与实现  

作　　者：吴勿春 

机构地区：[1]从化市技工学校,510925

出　　处：《电子制作》2014年第11X期92-93,共2页Practical Electronics

摘　　要：随着计算机及网络技术的高速发展,信息技术在给人们工作、生活带来方便的同时,也带来了信息安全方面的威胁。目前有多种信息安全技术,其中操作系统是基础。由于Linux的源码开放性,本文以Linux为基础设计并实现安全操作系统,主要提高其在访问控制方面的安全性。该种模式主要是积极采用了比较全面的改进方式,并不断解决了相应的模型,因为相应的系统状态可以积极改变原有的信息等级,以及相应的泄露等现象出现。同时也不断提出了相应的改进性措施。

关 键 词：LINUX操作系统 WEB系统 安全 形式化建模 实现 分析 

分 类 号：TP316.81[自动化与计算机技术—计算机软件与理论]