首页> 中文期刊> 《计算机工程与科学》 >一个安全文件系统的半形式化功能规范设计

一个安全文件系统的半形式化功能规范设计

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

形式化、半形式化规范的理论和实践是高安全等级操作系统设计所必须解决的问题,但我国高安全等级操作系统形式化设计方面十分薄弱,没有实践过程和相关理论的技术积累.本文借助Lapadula给出的规则集建模方法,基于Linux系统调用给出了一个实际开发的安全文件系统NeoFs的顶层功能规范的方法和过程.

著录项

来源
《计算机工程与科学》 |2006年第7期|7-10|共4页
作者
韩乃平; 刘文清;
展开▼
作者单位

上海中标软件有限公司;

上海;

200233;

解放军信息工程大学电子技术学院;

河南;

郑州;

450004;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;操作系统;
关键词
安全操作系统设计; 安全文件系统; 半形式化; 功能规范;

相似文献

中文文献
外文文献
专利

1. 软硬件功能测试用例半形式化生成方法 [J] . 邓辉 ,石竑松 ,张宝峰 . 通信技术 . 2016,第010期
2. 软件闪存转换层可实现安全失败的功能安全文件系统 [J] . 王逸鹏 ,张激 ,包晟临 . 单片机与嵌入式系统应用 . 2020,第011期
3. 一个改进的BLP模型及在安全文件系统上的应用 [J] . 郭东 ,韩臻 ,曹香港 . 微计算机信息 . 2010,第024期
4. 一个安全网络文件系统的设计与实现 [J] . 罗慧 ,管海兵 ,白英彩 . 计算机应用与软件 . 2007,第008期
5. 一个可抵抗临时指数泄露的密钥协商协议形式化安全模型 [J] . 陶文君 ,胡斌 . 计算机科学 . 2013,第011期
6. 安全策略及设计规范的半形式化方法 [C] . DENG Hui ,邓辉 ,SHI Hongsong . 第九届信息安全漏洞分析与风险评估大会（VARA2016） . 2016
7. 基于功能点模型的半形式化验证关键技术研究 [A] . 吕昭 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号