论文部分内容阅读
与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质.自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无干扰信息流模型.本文基于进程代数框架研究这些模型,并给出了一些新的结果和证明.
计算机安全中的无干扰模型
【摘 要】
：
与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质.自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无
【机 构】
：
信息工程大学网络工程实验室
【出 处】
：
计算机科学
【发表日期】
：
2005年2期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
急性视网膜坏死性视网膜脱离１例郭保安，毛昌生（包钢医院眼科，包头０１４０１０）急性视网膜坏死性视网膜脱离是以突然发生的色素膜炎，继之急剧进行性血管闭塞，造成视网膜坏死，而并发现网膜脱离，最终
观察了１７２例脑卒中患者血清促肾上腺皮质激素、皮质醇的变化，发现ＡＣＴＨ、皮质醇水平明显高于正常对照组，脑出血组高于脑梗塞组，病情轻重与ＡＣＴＨ、皮质醇的变化明显相关，治疗前后ＡＣＴＨ、皮质醇水平明
１３２例输卵管结扎并阑尾切除术临床分析朱淑琴，韩世臣（阿盟阿右旗巴温苏木卫生院，巴温苏木７３７３０６）阑尾炎是外科常见病，但在边远牧区常因交通不便、医疗条件差，急性阑尾炎穿孔引起弥漫性腹膜炎
上消化道出血是临床常见的内科急证。笔者于１９９５～１９９６年对３４例上消化道出血病人进行了严密观察及护理，取得了较好的效果。１临床资料本组３４例患者，其中男性２５例，女性９例，年龄２５～４２岁。胃穿孔２１例，十二指肠穿
腔隙性脑梗塞７３例临床分析赵敬华，赵丽玲（海拉尔农牧局中心医院急诊科，海拉尔０２１０００，航天工业总公司７３１医院）腔隙性脑梗塞又称微梗塞，是指脑小动脉硬化或来自心脏、大动脉的小栓子，引起血管闭塞
１临床资料病例１，男，１０岁。车祸致伤头部２小时入院。查体，神志不清，左额顶部有４ｃｍ头皮裂伤，双瞳等大，对光反射灵敏，ＧＣＳ评分９分。心肺未见异常，腹部平垣，无明显肌紧张。但脐旁偏左有轻触痛，腹刺无获，遂
８７例肝脏病患者胆囊壁Ｂ超的变化牛庆玲，李一真，曹菡英（内蒙古电建一公司卫生所，０１４０３０，包头一机医院Ｂ超室）包头市电业系统１９９２、１９９７年两次对１２０００名职工体检，其中对８７例确诊为肝脏疾病的患者进行８超检查时，发现
独立成分分析(ICA)方法是近几年发展起来的一种新统计方法,旨在将所观测到的多维随机向量转换成统计上尽可能独立的成分。本文基于Overcomplete(过完备)ICA算法(SCO),提出了一种新的声音压缩模型。我们的实验实现了SCO的混合压缩与分离解压功能。