论文部分内容阅读
形式化、半形式化规范的理论和实践是高安全等级操作系统设计所必须解决的问题,但我国高安全等级操作系统形式化设计方面十分薄弱,没有实践过程和相关理论的技术积累.本文借助Lapadula给出的规则集建模方法,基于Linux系统调用给出了一个实际开发的安全文件系统NeoFs的顶层功能规范的方法和过程.
一个安全文件系统的半形式化功能规范设计
【摘 要】
：
形式化、半形式化规范的理论和实践是高安全等级操作系统设计所必须解决的问题,但我国高安全等级操作系统形式化设计方面十分薄弱,没有实践过程和相关理论的技术积累.本文借
【机 构】
：
上海中标软件有限公司,解放军信息工程大学电子技术学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年7期
【基金项目】
：
国家863计划资助项目（2002AA1Z2101,2004AA1Z2020）
其他文献
小型组多播（SGM）是未来多播的发展方向。但是，传统多播协议并不适于处理数量庞大的小型组多播，因而研究专门针对小型组的小型组多播协议得到重视和发展。小型组多播协议大幅度减
随着肉鸡饲养技术的发展和市场需求,其逐渐成为我国广大农民经济收入的重要来源。肉鸡疾病的预防与控制也是养殖肉鸡生产中的重要环节之一,本文对肉鸡饲养管理中的疾病进行分
鸡作为人类生活当中最主要的肉食来源,具有较高营养价值,也是我国养殖业主要的经济产业之一。质量的好坏直接关系到人类的健康。本篇文章主要讲述高温环境下对鸡所产生的影响
我省水资源总量不足，人均占有量和单位面积耕地占有量少，与我国平均水平比较，水资源是相对缺乏的。水资源利用率低，浪费严重。渠系水利用系数低，灌水定额偏大，主要灌区的灌溉水有效
互联网的迅猛发展对网络信息处理提出了新的挑战，而这些都迫切需要高性能计算技术的支持。为了提高网络海量信息智能并行处理能力，促进网络信息存储与管理、信息融合、数据挖掘