计算机安全中的无干扰模型

来源 :计算机科学 | 被引量 : 0次 | 上传用户:yangy1225
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质.自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无干扰信息流模型.本文基于进程代数框架研究这些模型,并给出了一些新的结果和证明.
其他文献
急性视网膜坏死性视网膜脱离1例郭保安,毛昌生(包钢医院眼科,包头014010)急性视网膜坏死性视网膜脱离是以突然发生的色素膜炎,继之急剧进行性血管闭塞,造成视网膜坏死,而并发现网膜脱离,最终
观察了172例脑卒中患者血清促肾上腺皮质激素、皮质醇的变化,发现ACTH、皮质醇水平明显高于正常对照组,脑出血组高于脑梗塞组,病情轻重与ACTH、皮质醇的变化明显相关,治疗前后ACTH、皮质醇水平明
132例输卵管结扎并阑尾切除术临床分析朱淑琴,韩世臣(阿盟阿右旗巴温苏木卫生院,巴温苏木737306)阑尾炎是外科常见病,但在边远牧区常因交通不便、医疗条件差,急性阑尾炎穿孔引起弥漫性腹膜炎
上消化道出血是临床常见的内科急证。笔者于1995~1996年对34例上消化道出血病人进行了严密观察及护理,取得了较好的效果。1临床资料本组34例患者,其中男性25例,女性9例,年龄25~42岁。胃穿孔21例,十二指肠穿
腔隙性脑梗塞73例临床分析赵敬华,赵丽玲(海拉尔农牧局中心医院急诊科,海拉尔021000,航天工业总公司731医院)腔隙性脑梗塞又称微梗塞,是指脑小动脉硬化或来自心脏、大动脉的小栓子,引起血管闭塞
1临床资料病例1,男,10岁。车祸致伤头部2小时入院。查体,神志不清,左额顶部有4cm头皮裂伤,双瞳等大,对光反射灵敏,GCS评分9分。心肺未见异常,腹部平垣,无明显肌紧张。但脐旁偏左有轻触痛,腹刺无获,遂
87例肝脏病患者胆囊壁B超的变化牛庆玲,李一真,曹菡英(内蒙古电建一公司卫生所,014030,包头一机医院B超室)包头市电业系统1992、1997年两次对12000名职工体检,其中对87例确诊为肝脏疾病的患者进行8超检查时,发现
独立成分分析(ICA)方法是近几年发展起来的一种新统计方法,旨在将所观测到的多维随机向量转换成统计上尽可能独立的成分。本文基于Overcomplete(过完备)ICA算法(SCO),提出了一种新的声音压缩模型。我们的实验实现了SCO的混合压缩与分离解压功能。
方向关系是空间关系研究的重要领域,应用十分广泛.因此,空间数据库中对方向关系的研究越来越引起人们的注意.本文在分析和研究了文[6]提出的方向关系模型的基础上,对该模型做