一个信息安全函数及应用模型

来源 :计算机辅助设计与图形学学报 | 被引量 : 6次 | 上传用户：QQ329431503

【摘要】

：

提出信息关心程度的概念,给出了基于机密性、完整性和可用性的矩阵信息安全函数,定义了读写公理.对于任意情况,新函数与BLP模型和Biba模型的信息安全函数对应.最后利用此函数值划分安全类,用2个客体的函数值描述信息流策略,由此得到一个应用信息流模型.经严格的数学证明,该模型是合理的和安全的,是基于BLP信息流模型和Biba信息流模型的一个扩展.

【作者】

：

刘益和沈昌祥

【机构】

：

内江师范学院计算机与信息科学系,海军计算技术研究所第一研究室

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2005年12期

【关键词】

：

信息流模型 BLP模型 BIBA模型机密性完整性有用性 lattice model BLP model Biba model confidentia

【基金项目】

：

科技部科研项目，四川省应用基础研究计划

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

宽带相控线阵声源在套管井外地层辐射声场的指向性

套管井中的声传播涉及到波在柱状多层介质中的传播问题。通过数值计算对比了宽带相控线阵声源在套管井外均匀地层中产生的纵横波声场的指向性。结果表明，在任意胶结状况下，均可

期刊

套管井相控线阵声源指向性胶结Cased well Linear phased-array source Directivity Cement

连作棉田低产原因及其改进技术

<正> 东光县是植棉面积较大的老棉区,由于土质地力、耕作习惯、生产条件及技术力量等诸因素的制约,棉田与其它作物倒茬实有困难,形成棉田连作,产量低而不稳,成为生产中一大难

期刊

棉花低产栽培

单矢量水听器估计目标方位的方法与实验

为评估基于单矢量水听器的方位估计能力，在黄海海域对矢量水听器进行实验。矢量水听器吊放于接收船尾部，采用平均声强器和复声强器方位估计方法，并提出以概率密度值最大的方位角

期刊

方位估计矢量水听器平均声强器复声强器Azimuth estimation Acoustic vector hydrophone Acoustic i

氯氧喹通过下调Rho/Rho激酶信号通路抑制乳腺癌细胞转移

目的:通过观察氯氧喹对乳腺癌细胞系细胞骨架的聚合状态及其对Rho/Rho激酶信号通路相关靶点蛋白磷酸化的作用,明确氯氧喹治疗乳腺癌的作用机制。方法:以不同浓度氯氧喹处理乳

期刊

外用重组人表皮生长因子对健康人体及烧伤患者不良反应试验

目的：考察重组人表皮生长因子（ｒｈＥＧＦ）对健康人体及烧伤患者的药物不良民愿者３２全ｒｈＥＧＦ剂量由小到大依次为１４０，２８０。７００，１４００ＩＵ，进行随机分组试验，同部位同剂量边疆次给药，观察１周；志愿受试烧伤患者３３全然常规治疗的基

期刊

药物不良反应RHEGF烧伤药理Recombinant human epidermal growth factor ADRs

任意拓扑结构网格模型自适应调整和光顺算法

在改进拉普拉斯算子的同时 ,吸取平均曲率法的优点 ,提出一种任意网格模型自适应调整和光顺算法该算法通过沿法矢方向和在切平面上同时对网格顶点进行调整 ,保证了调整后模型不仅光顺 ,而且网格形状均匀 ;该算法还可以根据不同的精度自动地对网格调整进行控制 ,有效地保留了原始模型中的特征信息应用实例表明 ,该算法可以保证在满足精度要求的条件下 ,得到更合理的三角网格模型

期刊

计算机图形学自适应调整光顺算法拉普拉斯算子任意拓扑结构网格模型computer graphics Laplacian operator mean

2004年国家食品药品监督管理局批准的新药（十）

期刊

重组人白细胞介素—2治疗实体瘤及胸腹水Ⅲ期临床研究

目的：通过多中心前瞻性Ⅲ期临床试验进一步观察重组人白细胞介素－２的疗效和不良反应。方法：分为静脉注射、介入治疗、腔内注射和加用ＬＡＫ细胞等。结果：可统计近期疗效３１５例中治疗后完全缓

期刊

癌性胸水胸水腹腔积液黑色素瘤肾癌RHIL-2γhIL2Malignant effusionsMelanomaKidney cancer

外大气层空间红外烟幕运动特性和遮蔽特性

分析了外大气层空间烟幕微粒的运动特性、烟幕发生器的施放方式及红外烟幕的遮蔽效果，论证了红外烟幕应用于外大气层空间的可行性。以粒径1～10pm的超微粉天然鳞片石墨为例，计算

期刊