首页> 中文会议>第六届中国信息和通信安全学术会议（CCICS'2009） >基于扩展的不干扰模型的系统完整保护研究

基于扩展的不干扰模型的系统完整保护研究

页面导航

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

摘要

本文通过对微内河操作系统Minix 3.0完整性属性的分析，认为操作系统完整性的策略可以用不干扰模型来描述，而保障系统完整性的安全机制同样可以通过不干扰模型来描述和验证。根据安全策略和安全机制描述的需要，本文对不干扰模型的输出视图和视图转换关系进行了扩展，将系统的执行状态与数据存储状态一同作为分析系统完整性保持的依据，使系统完整性分析更加细致和有针对性。

著录项

来源
《第六届中国信息和通信安全学术会议（CCICS'2009）》|2009年|637-641|共5页
会议地点南京
作者
崔隽; 黄皓; 陈志贤;
展开▼
作者单位

东南大学;

南京大学;

南京邮电大学;

解放军理工大学;

江苏省网络与信息安全重点实验室;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类操作系统;
关键词
微内核操作系统; 不干扰模型; 系统完整保护; 视图转换; 安全机制;

相似文献

中文文献
外文文献
专利

1. 扩展不干扰模型(ENISM)及基于CSP的描述和验证方法 [J] . 崔隽 ,黄皓 ,高晓春 . 计算机学报 . 2010,第005期
2. 生态空间完整性建设与保护研究-基于同江市“多规合一”的实践 [J] . 安春生 ,孙宇 . 中国环境管理 . 2016,第003期
3. 基于无干扰模型的操作系统结构化研究 [J] . 孙瑜 ,胡俊 ,陈亚莎 . 计算机科学 . 2011,第004期
4. 一种基于系统动作的非确定不干扰模型 [J] . 司天歌 ,谭智勇 ,刘铎 . 电子学报 . 2008,第011期
5. 基于可扩展加密的传感器网络数据隐私保护研究 [J] . 李沛谕 ,张治学 . 计算机与现代化 . 2015,第007期
6. 完整性条件下传递无干扰模型 [C] . 张帆 ,桑永宣 ,游林 . 第十五届全国青年通信学术会议 . 2010
7. 嵌入式系统内存数据机密性和完整性保护研究 [A] . 李侠虎 . 2015

基于扩展的不干扰模型的系统完整保护研究

摘要

著录项

相似文献

相关主题

期刊订阅