切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
安全性质的可结合性
安全性质的可结合性
来源 :软件学报 | 被引量 : 0次 | 上传用户:win13790
【摘 要】
:
安全系统是由许多子系统组成,每一子系统都必须满足一定的安全性质,但这不能保证由这些子系统组合而成的系统也是安全的,即组合的系统不一定也满足给定的安全性质,所以要求系
【作 者】
:
余祥宣
马建平
张江陵
【机 构】
:
华中理工大学计算机科学与工程系
【出 处】
:
软件学报
【发表日期】
:
2004年期
【关键词】
:
安全性质
可结合性
无干扰
多级安全
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全系统是由许多子系统组成,每一子系统都必须满足一定的安全性质,但这不能保证由这些子系统组合而成的系统也是安全的,即组合的系统不一定也满足给定的安全性质,所以要求系统的安全性质满足可结合性.该文介绍了一种新的基于无干扰概念的多级安全性质,并证明了它是可结合的.
其他文献
基于可见性预处理和细节简化的虚拟环境快速漫游算法
本文针对复杂多边形场景的漫游提出了一个新的预处理方法,并给出了相应的快速漫游算法.新方法在预处理阶段,把观察者可到达的空间分割成许多长方体视点区域,然后对每一个视点区域,适应性地剖分其对应的5D光线空间,使得分割后得到的光束所对应的PVS的元素个数小于某一给定的值,并对大于该值的最小光来进行简化.在漫游过程中,由存储的数据直接得到当前视点的PVS和细节的简化结果,并可快速有效地进行视域裁剪,从而大
期刊
PVS
LOD
Z-buffer扫描转换
视域裁减
浅析胡适的生平及其主要新闻思想
本文通过介绍著名学者、诗人胡适的生平,列举出了他一生的主要贡献,之后将论文的重点落在了他在中国新闻发展史上所起到的巨大作用,并总结出了四点他的主要新闻思想;1、倡导
期刊
胡适
新闻思想
自由主义
白话文
独立办报
舆论导向
暑期强档影视热浪袭来,来--和家人一起看电影吧
推荐理由:巨大的机器金刚!酷炫的3D特效!还等什么?走进电影院,戴上特效眼镜,享受这极致的感官刺激吧!
期刊
影视
暑期
影吧
感官刺激
电影院
皮层脑电图监测在难治性颞叶癫痫外科手术中的应用
目的 探讨皮层脑电图(ECoG)监测在难治性颞叶癫痫外科手术中的作用.方法 50例难治性颞叶癫痫患者经过详细的术前评估后,进行外科治疗,术中应用ECoG精确定位及指导切除范围.
期刊
难治性癫痫
皮层脑电图
颞叶癫痫
外科治疗
女青年肺癌的临床特点及外科治疗
目的探讨女青年肺癌的临床特点与治疗。方法对30例女青年原发性肺癌患者的临床资料进行回顾性分析。结果女青年肺癌除呼吸道症状外,常以肺外表现为首发症状,肿瘤多见于右肺,
期刊
青年
肺癌
JMF仰及RMI技术在远程医疗系统中的应用
现代远程医疗是计算机网络、多媒体技术以及医学诊断技术相结合而形成的一门新兴课题.针对当前系统在平台依赖性及远程操控等方面的弱点,结合JMF(Java Media Framework)框架
期刊
远程医疗
Java多媒体框架
远程方法调用
实时传输协议
多媒体
酒店对实习生有效管理的探讨
很多酒店由于接纳高校旅游专业的实习生缓解了当前的矛盾.但是,高校实习生在实习中表现出来的职业道德意识和敬业精神不强、心理承受能力脆弱等问题成为大多敬酒店的困扰.本
期刊
酒店实习生
有效管理
福建省2011年勤工俭学工作会议召开
2011年4月8-9日,福建省勤工俭学工作会议在泉州市召开。全省各设区市勤工俭学管理部门负责人、校园风险管理工作责任人及福建省教育风险管理顾问等有关人员30余人参加了会议。
期刊
勤工俭学工作
福建省
管理顾问
教育风险
部门负责人
办公室主任
管理工作
供应管理
交互三维形状过渡技术
给出了一个新的有相同亏格多面体之间的三维形状过渡算法.算法首先交互地将两个给定的多面体剖分为相同数目的多边形网格区域,同时建立起网格区域的匹配.然后,利用调和映射将
期刊
计算机动画
形状过渡技术
调和映射
同构映射
亏格
基于超椭球模糊聚类的人脑磁共振图象分割
通常使用的聚类分割方法认为样本的分布是超球形的,然而,这并不符合人脑磁共振MR(magnet-icresonance)图象的真正特点.针对这一缺陷,提出了一种基于超椭球模糊聚类的人脑MR图象分割方法.实验结果表明,这种分割方法能有效地将人脑MR图象分割为灰质和白质两种组织,并具有较高的效率和分割精度.
期刊
MR(magnetic resonance)图象分割
自适应阈值
高斯滤波
超椭球模糊聚类
其他学术论文
身材矮小儿童和青少年血脂水平与生长激素激发试验峰值的相关性研究
电子踏板信号采集及故障诊断策略研究
健康青年人超高频听阈测定
高压气溶胶解构排水固结法处理软基现场试验研究
激励视角下乡镇政府选择性政策行为分析
依靠科技加强管理 提高煤炭资源回收率
年度高清碟
食药安全领域检察机关诉请惩罚性赔偿相关问题研究
如何提高高中语文教学效率
生物渗滤床处理养殖废水的技术经济性研究
Timing of the Yangtze initiation draining the Tibetan Plateau throughout to the East China Sea:oa re
第九讲 医学论文中如何正确使用统计图
Predictive molecular markers in the era of immunotherapy
建筑美学与建筑设计结合策略
狼疮肾炎的药物治疗进展
试论国际会计公司的发展
减肥瘦身秘诀在血型
单纵模耦合腔半导体激光器
国家体育馆项目岩土工程勘察实录
维生素D联合盐酸非索非那定片递减治疗慢性荨麻疹的疗效及对凝血指标的影响