10.3969/j.issn.1007-130X.2006.07.003
一个安全文件系统的半形式化功能规范设计
形式化、半形式化规范的理论和实践是高安全等级操作系统设计所必须解决的问题,但我国高安全等级操作系统形式化设计方面十分薄弱,没有实践过程和相关理论的技术积累.本文借助Lapadula给出的规则集建模方法,基于Linux系统调用给出了一个实际开发的安全文件系统NeoFs的顶层功能规范的方法和过程.
安全操作系统设计、安全文件系统、半形式化、功能规范
28
TP309;TP316(计算技术、计算机技术)
国家科技攻关项目2002AA1Z2101,2004AA1Z2020
2006-07-07(万方平台首次上网日期,不代表论文的发表时间)
共4页
7-10