【摘 要】
：
针对Biba模型中的严格完整性策略在保证数据完整性的同时会降低系统兼容性的问题,在Biba严格完整性模型基础上提出了具有历史特征的Biba模型严格完整性策略,将主体完整性等级
【机 构】
：
东华大学计算机科学与技术学院,东华大学纺织面料技术教育部重点实验室,山东工商学院管理科学与工程学院
【基金项目】
：
国家自然科学基金资助项目 编号90718027, 高等学校纺织生物医用材料学科创新引智计划项目 编号B070204
论文部分内容阅读
针对Biba模型中的严格完整性策略在保证数据完整性的同时会降低系统兼容性的问题,在Biba严格完整性模型基础上提出了具有历史特征的Biba模型严格完整性策略,将主体完整性等级扩展为独立的读写区间,并根据主体读写历史调整主体可读写的区间,并给出形式化的描述.该模型既可以保护系统数据的完整性,又能提高系统的兼容性.同时,给出所构造规则的实施策略的实现算法,说明该实施策略和常规实施策略具有相同的时间复杂度.
其他文献
给出了一种基于网页内容相似度和网页之间链接关系的社区发现方法.该方法不仅考虑了网页之间的超链接关系,而且着重考虑了网页在内容上的相似度并克服了传统社区发现算法忽略
考虑带负顾客的GI/Geom/1工作休假排队.负顾客一对一抵消正在服务的正顾客（若有）,若系统中无正顾客,到达的负顾客自动消失,负顾客不接受服务.服务规则为先到先服务.工作休假策
采用密度泛函及分子动力学理论，对碳纳米管和硼纳米管的热膨胀性能进行了研究．研究发现小管径的硼纳米管具有出较好的反膨胀性能，硼纳米管的反膨胀性能与管径的关系和碳管的结果
基于EF1-a基因核苷酸序列和氨基酸序列,利用分子进化遗传分析软件MEGA 5.0构建常见禾本科植物的最小进化法（ME）、邻接法（NJ）和算术平均数的非加权成组配对法（UPGMA）分子系统进化树.
提出融合蚁群算法和遗传算法来求解矩形件排样问题．考虑到蚁群算法和遗传算法各自的优缺点，该融合算法前阶段采用遗传算法获得排样问题的部分优化解，把它作为蚁群算法的初始信息
考虑了一类带有极大值项的奇数阶中立型差分方程的非振动解的渐近性，得到了该类方程的解非振动的一些充分条件，推广了已有文献的相关结果．
基于带有两个位势的4Х4矩阵谱问题，导出一族非线性演化方程，其中一个典型成员是Drinfeld-Sokolov-Satsuma-Hirota方程．进而证明了这族方程具有广义双Hamihonian结构并且在Liuov
以1,5-二苯基缩二氨基脲为载体,制备了PVC膜铝离子选择电极,并对电极的性能进行了测试.结果表明：电极的能斯特响应斜率为21.6 mV/decade,检测下限为4.4×10-7mol/L,线性范
提出了一个基于移动agent和数据挖掘标准的分布式数据挖掘系统模型，该系统运用两个层次的开放式数据挖掘语言来提供良好的延伸性，基于KQML和XML的代理通信机制保证移动代理具备
通过数值求解超导量子电路的能级结构并深入分析外场诱导规范势的条件,对调节偏置磁通诱导规范势的方法进行了必要的补充和完善.不同于一组能级结构情形,在固定的静态电压偏