切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
安全核机制的分析
安全核机制的分析
来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:meng8500
【摘 要】
:
安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析,讨论了该核的概念及特征,包括其建立的原因、条件、安全策略及结构等重要内容。设计了一种可重用的安全
【作 者】
:
黎忠文
熊光泽
【机 构】
:
电子科技大学计算机学院
【出 处】
:
电子科技大学学报
【发表日期】
:
2001年1期
【关键词】
:
安全关键系统
软件安全
安全核机制
计算机安全
safety critical system
safety kernel
safety policy
kerne
【基金项目】
:
国防技术预研基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析,讨论了该核的概念及特征,包括其建立的原因、条件、安全策略及结构等重要内容。设计了一种可重用的安全核机制,能较好解决重用安全核带来的一系列诸如应用相关性、安全策略表达的非一致性等问题。
其他文献
完全分配格上的极小族拓扑
采用极小族理论建立了完全分配格上的另外一种拓扑--极小族拓扑,使得最大标准极小族是该拓扑仅有的非平凡开集.给出了极小族拓扑的一些性质及该拓扑下函数连续的必要条件,讨
期刊
完全分配格
极小族
极小族拓扑
广义序同态
completely distributive lattices
minimal families
the larg
叶酸对H型高血压患者血压控制及同型半胱氨酸血清水平的影响
目的:探讨叶酸对H型高血压患者血压控制及同型半胱氨酸(Hcy)血清水平的影响。方法将120例H型高血压患者按数字表法随机分为对照组和观察组各60例,对照组给予系统降压方案治疗,观
期刊
叶酸
H型高血压
同型半胱氨酸
教师参与教育政策制定与执行的路径探析
在教育政策的制定和执行过程中,教师的地位是不容忽视的。作为与学校、与学生、与教育都密切相关的重要角色,将教师纳入教育政策的制定与执行主体队伍是十分必要的。而这不仅需
期刊
教师
教育政策制定
执行
路径
两种雾化治疗方式在不同年龄段支气管肺炎患儿化痰中的临床效果研究
目的:探讨超声雾化和压缩雾化分别应用于不同年龄段支气管肺炎患儿中的临床效果。方法收集本院432例气管肺炎患儿,其中3个月~2岁的患儿322例,2岁以上的患儿110例,其中将3个月~
期刊
支气管肺炎
超声雾化
压缩雾化
儿童
临床疗效
基于DM的入侵检测系统结构方案
介绍了入侵检测系统和数据挖掘技术的概念、特点和关键技术,分析了入侵检测系统中信息收集的主要数据来源,结合传统的入侵检测方案的缺点,提出了一种基于数据挖掘技术的具有
期刊
入侵检测系统
数据挖掘
知识库
防火墙
IDS
网络安全
intrusion detection system
data mining
knowledge da
其他学术论文