一种Clark-Wilson完整性策略的关系模式

Clark-Wilson完整性策略有效地强调了商务信息系统安全的各个主要方面,但是由于该完整性策略的内在复杂性,使得有关它的形式化工作至今仍未完成,因此造成了Clark-Wilson完整性策略难以被精确理解和有效使用的局面。该文通过把Clark-Wilson完整性策略改写为具有形式化表现形式的关系模式,有效地解决了非形式化的策略表示所带来的上述问题。

基于Clark-Wilson完整性策略的安全监视模型

传统的计算机设计系统的安全监视功能存在日志数据冗余和异常线索检测时延过长等固有问题.由于安全监视功能的日志数据项主要是由系统实施的安全策略所决定,所以采用关系模式,通过形式地描述、分析著名的Clark-Wilson完整性策略,从而精确确定了与各条策略相关的最小日志项集,然后将其应用于基于Clark-Wilson完整性策略的形式化安全监视模型(CW-SMM).该模型不但可以有效解决Clark-Wilson安全策略适用系统的日志数据冗余问题,而且也可以彻底解决异常线索检测中的时延问题.

一种改进的Clark-Wilson完整性策略模型

Clark-Wilson完整性策模型在商业安全领域可以有效满足企业信息系统所追求的完整性安全需求。但是直接将用户和权限关联,给权限的管理带来不便;对权限不加以时间约束,会带来安全隐患;在用户同谋的情况下,模型还会失效。基于上述缺陷,在用户和权限之间引入角色的概念,用户可以在受约束的情况下激活自己拥有的角色从而获得相应的权限,使Clark-Wilson完整性策略模型更具有安全特性。

制药企业实验室数据完整性管理策略

为了保障制药企业实验室数据的真实性与完整性,确保药品质量符合高标准并满足法规要求,本文深入探讨了数据完整性的重要性及其面临的挑战。文章提出了加强员工培训、完善管理制度、强化审计监督及采用先进数据管理技术等一系列策略,旨在为企业提供一套全面的数据完整性管理体系框架,以促进制药行业的健康发展。

医院医保档案完整性与准确性的评估及改进策略

为了提升医疗机构内医保档案的完整性与准确性,进而增强医疗质量和提升医疗服务效率,我们进行了现场调查和数据分析。在研究中,我们采用量化的评估标准,随机选取了多家医院的医保档案,对其完整性和准确性进行了详细评估。同时,基于评估结果,我们对医保档案的管理情况进行了深入剖析。研究结果显示,当前存在医保档案信息不完整、填报错误等问题,这些问题不仅影响了医保档案的准确性和完整性,还对医保基金的使用效率以及医疗服务的质量产生了不利影响。为了改善这一现状,我们提出了一系列医保档案管理的改进策略,包括加强医护人员的专业培训、明确医保档案的管理责任、完善医保档案系统等措施,旨在全面提升医保档案的准确性和完整性。此项研究为医院在医保档案管理方面提供了明确的改进方向,为医院制定和实施医保档案管理改进计划提供了有力依据,有助于提升医保工作的质量和效益。

基于Biba和Clark-Wilson策略的混合强制完整性模型

商业应用需要实施完整性策略保护.Biba模型提供了一种简洁的多级完整性控制方案,但是需要引入可信主体来保证实施的可用性.而Clark-Wilson模型通过可监控的状态转换提供了一种完备的完整性保护,但其复杂性影响了该模型的完整实现.提出的模型以Biba严格完整性策略为基础,同时根据可信主体在其生命周期所属的状态实施Biba低水标策略.对可信主体在其生命周期发生的状态转换及相应的低水标参数调整,采用Clark-Wilson模型来进行监控.在有效解决了Biba策略的可用性问题和Clark-Wilson模型监控量过大给系统带来的配置和运行负担问题的同时,继承它们的优点.证明了该策略融合方案是可行的、安全的.

成品油库设备完整性管理工作研究

为实现成品油库设备精细化管理,从成品油库管理现状出发,将设备完整性管理技术应用于油库设备日常管理工作中,提出了设备选型、分类分级、设备巡检、预知维护、预防维修、故障维修、检定检测、生产物资管理等工作措施,希望能够为油库管理工作人员提供一些设备管理工作上的参考和借鉴。

具有历史特征的Biba模型严格完整性策略

针对Biba模型中的严格完整性策略在保证数据完整性的同时会降低系统兼容性的问题,在Biba严格完整性模型基础上提出了具有历史特征的Biba模型严格完整性策略,将主体完整性等级扩展为独立的读写区间,并根据主体读写历史调整主体可读写的区间,并给出形式化的描述.该模型既可以保护系统数据的完整性,又能提高系统的兼容性.同时,给出所构造规则的实施策略的实现算法,说明该实施策略和常规实施策略具有相同的时间复杂度.

飞机结构健康监测策略研究

飞机全寿命周期结构健康监测技术的应用对提高飞机在役安全性和可靠性,提升地面维护效率,延长飞机使用寿命具有巨大的价值和效益,因而得到国内外的持续关注和研究。该技术在飞机上的应用已成为衡量飞机先进性的重要指标之一,而飞机结构健康监测标准规范与策略的制定是技术开展的首要任务。分析了航空制造业先进国家结构健康监测技术相关的标准规范,明确了制定标准规范的具体要求;通过总结国外结构健康监测技术最新研究进展,梳理了结构健康监测技术框架体系;针对我国飞机结构地面试验和服役环境2大应用场景的技术特点,明晰了我国结构健康监测的技术需求,并在此基础上,提出了我国飞机结构健康监测的总体架构和可供剪裁的技术实施策略。

在关系数据库中构建数据完整性的检验策略

通过利用在关系型数据库中所提供的约束、默认、规则和嵌套触发器技术，对来自客户端的数据进行有效性和合法性的检验，有效地保证了数据源的正确性和完整性；此外，合理地定义和应用一项数据完整性的检验策略，可以更有效地提高数据存储和检索的效率。

基于策略嵌入和可信计算的完整性主动动态度量架构

针对已有的一些完整性度量方法在度量主动性、灵活性和运行效率等方面的不足,提出了基于策略嵌入和可信计算的完整性主动动态度量架构(PEDIAMA)。将度量策略嵌入到度量目标内部,因此不需要专门的内存空间来集中维护所有的策略,节省了策略的查询和维护成本,提高了运行效率。由于策略方便存取,制订灵活,不仅可以实时接收外部的度量请求,也可以依据内嵌的策略主动进行度量,主动防御性更强。同时,通过TPM硬件来保护度量架构和度量过程的安全,并对度量策略和相关度量结果进行签名保护,提高了整个系统的安全性。经过测试,PEDIAMA能够即时检测出针对运行实体的攻击,并且度量开销较小。

一种可确保完整性策略有效性的可信恢复模型

多策略融合是访问控制技术研究的重要内容.可信恢复是高等级安全操作系统的必需功能.为解决过于严格的安全策略难以推广应用的局限性,提出了一种可确保完整性策略恢复后有效性的可信恢复模型.首先给出了模型的框架结构,利用多模型融合方法,通过对类型实施模型(type enforcement,TE)和基于角色的访问控制(role-based access control,RBAC)模型的重新构造和配置,实现了形式化的Clark-Wilson完整性策略模型及其扩展模型PCW(Poveys Clark-Wilson).然后,结合文件系统的具体特点,提出静态和运行时两类恢复算法,通过分析系统日志,撤销恶意操作,使文件系统恢复到原先的一致状态.该恢复方法增强了系统的可用性,对设计和实现我国自主高等级安全操作系统的可信恢复机制进行了重要探索.

一种基于完整性约束的路径表达式的查询优化策略

利用路径表达式导航 XML 查询是 XML 查询语言的共同特点。目前对 XML 路径表达式的计算有两种方法:一种是基于树遍历的方法,一种是路径连接方法。在路径连接方法中路径表达式的计算效率很大程度上依赖于路径表达式的长度。在对 XML 模式反映的完整性约束研究的基础上,本文提出了排他性包含约束的概念;给出了利用排他性包含约束缩短路径表达式的策略和算法,从而降低了路径连接的代价。通过分析比较,这种路径缩短策略是有效可行的。

基于“完整性”理念的扬州瘦西湖景观整体特征保护策略

"卷轴画式"景观整体形态是扬州瘦西湖的代表性价值特征,是该遗产保护管理的核心对象。重点针对瘦西湖景观整体特征保护管理面临的长期需求及城市发展协调现状挑战,提出以世界遗产保护的"完整性"理念为依据、以区划界定与管理为重点的保护策略。

油田生产管网完整性管理的实施策略

完整性管理在我国长输油气管道上的实施已经取得显著成效,但在油田管道上的应用仍然处于初级阶段。借鉴相对成熟的长输管道完整性管理的理念和做法,针对在油田管道上实施完整性管理面临的主要问题,梳理出油田管道实施完整性管理的技术体系,提出了适应油田管网实际的完整性管理实施策略,以及实施完整性管理所需要的支持系统。通过完整性管理支持系统的运行和数据积累,实现油田管道安全运行管理和有风险管道完整性管理。

面向细粒度XML文档的BIBA严格完整性策略扩展

本文对细粒度XML文档上的BIBA严格完整性策略进行了研究。通过对XML文档的结构约束进行分析,建立了XML文档上的完整性约束规则,从而将BIBA严格完整性策略扩展到了XML文档上;建立一个包含完整性属性的XML文档模型,对XML文档的结构特点进行了分析;提出了完整性标签传播规则,以支持部分标记完整性的XML文档;最后对完整性策略的实现机制进行了讨论。

高速数字电路中信号完整性及仿真策略

在高速数字电路中,信号完整性问题至关重要。介绍了高速数字电路中的信号完整性,并给出了信号完整性仿真分析策略。

基于风险分析的静设备完整性管理

为了最大限度地确保设备设施系统的有效运行,及时消除设备设施的不安全状态,使LNG接收站在生产运行过程中的安全保障得到更进一步的提高,文章深入探讨和分析了设备设施完整性管理流程,提出了基于风险的静设备检验工作流程,简要介绍了风险计算、失效可能性分析、失效后果分析、风险评估等静设备风险分析步骤,为从业人员提供参考。

虚拟机监视器系统策略完整性安全机制

针对虚拟机监视器无法保障系统内动态策略文件的完整性,以及无法保障其所存储策略文件的完整性,实现了一种虚拟化系统策略文件的完整性安全机制。采用改进的策略文件存储方案,实现策略文件的安全存储,通过对动态策略文件进行完整性定时校验,实现动态策略文件的完整性安全保障。实验结果表明,该机制适度增加了虚拟化系统的运行负荷,但有效保障了系统动态和存储策略文件的完整性,提高了系统的安全性。

一种基于固件的云系统策略文件完整性安全机制

针对云系统服务器之间共享策略文件所面临的完整性安全威胁,提出一种新的基于固件的策略安全机制。该机制可在云系统服务器平台之间安全且快速地进行共享策略文件交互,并可对共享策略文件进行完整性校验,进而提高协同工作的服务器所共享策略文件的安全性。实验结果表明,该机制有效实现了云系统环境下共享策略文件的完整性安全,同时提高了云系统管理员的管理效率。