论文部分内容阅读
BLP模型是最常用的一种计算机多级安全模型。在分析了BLP模型的基本理论、安全缺陷和研究动态的基础上,讨论了在多处理机系统中该模型存在的客体访问并发缺陷,并针对性地将并发控制思想引入到模型中,提出基于＂安全事务行为＂概念的改进的MBLP模型,并对MBLP模型并发控制能力进行了有效性探讨。
BLP模型的研究与并发控制改进
【摘 要】
：
BLP模型是最常用的一种计算机多级安全模型。在分析了BLP模型的基本理论、安全缺陷和研究动态的基础上,讨论了在多处理机系统中该模型存在的客体访问并发缺陷,并针对性地将并
【机 构】
：
安徽科技学院计算机系
【出 处】
：
工业控制计算机
【发表日期】
：
2011年8期
【基金项目】
：
安徽省高等学校自然科学研究项目基金（KJ2009B118）
其他文献
目的：评估经脐入路腹腔镜手术（transumbilical endoscopic surgery,TUES）中的可转向器械。方法：使用SILS Port、腹腔镜模拟训练箱及压力传感系统建立基于人因工程评价系统的TUES
梯级流域运行管理系统是实现水利发电设备状态监测、趋势分析、运行诊断和实现预知性维护的重要管理平台,其中,发电机组在线状态监测是发电设备实施预知性维护管理的重要基石
BC9000是集成PLC功能的以太网总线端子控制器,利用其体积小、使用灵活的特点,设计了一种基于BC9000的数据采集系统。由BC9000将传感器测量得到的电流信号转换成实际过程的数据,通过以太网将数据传送到由VB开发的界面,并保存到数据库。
基于广义随机Petri网,提出了一种动态Web服务组合建模的方法。利用广义随机Petri网（GSPN）以及OWL-S组合过程对Web服务组合过程构建动态组合模型,实现Web服务的动态组合。并通过
文章立足于语文分析,从表层到深层,从显性到隐性,对《金瓶梅》书名所蕴含的修辞寓意进行深入挖掘,提炼、概括出书名的四层修辞寓意:第一层,点提小说中的三个重要女性的名字—
对于给水泵来说,其属于电锅炉液位调节系统中的重要构成部分之一,如果一旦给水泵发生故障,则会对锅炉运行的稳定性和安全性造成影响,严重的情况下甚至直接引发重大灾情事故的
在复杂水文地质条件下，矿井涌水量大，各种水体对矿井的威胁日趋突出，塔河煤矿是技改整合的矿井，矿井水灾是本矿最主要的灾害，原用的终端水仓集中清淤方式已不能满足矿井安全生产的