导读:本文包含了安全策略规范论文开题报告文献综述及选题提纲参考文献，主要关键词:起重机械,施工现场,安全隐患
安全策略规范论文文献综述
吴遵红,杨文睿,徐义,杨振寰[1]（2019）在《建筑施工现场起重机械使用的安全隐患及应对策略分析——起草《在用建筑起重机械技术检查规范》》一文中研究指出论述了起重机械的工作特点及原理,分析了施工现场起重机械使用的安全隐患,并在起草湖北省省级地方标准《在用建筑起重机械技术检查规范》的过程中加入了关于上述安全隐患的应对策略,以期为相关工作者提供理论参考。(本文来源于《工程建设与设计》期刊2019年10期）
刘朝贤[2]（2019）在《论“防排烟规范主体”与安全疏散设施、策略之间的辩证关系》一文中研究指出将高层建筑火灾时人与烟气的博弈,比作一盘棋局,规范主体是"棋手",所有设施、方法等都是"棋子",棋局的胜负体现棋手的水平。(本文来源于《制冷与空调(四川)》期刊2019年02期）
李春燕[3]（2018）在《规范幼儿园安全管理的策略》一文中研究指出近期一系列幼儿园虐童事件的发生,再一次引发全社会对于幼儿安全教育和管理的关注。如何确保幼儿的安全,是当前幼儿园管理面临的重要课题。所以提高幼儿园的安全管理水平是促进学前教育发展的重要工作,对幼儿成长具有重要的意义。幼儿教育不仅影响幼儿身体成长和幼儿认知、情感及性格等方面的发展,更影响到幼儿在成人之后的行为、能力及相关社会表现,是决定国民素质的重要因素。幼儿能否在一个安全、快乐、充满(本文来源于《小学科学(教师版)》期刊2018年03期）
邓辉,石竑松,张宝峰,杨永生,刘晖[4]（2017）在《安全策略及设计规范的半形式化方法》一文中研究指出对安全功能要求的错误理解会在IT产品中引入内在的安全缺陷。半形式化方法可提高描述安全功能要求的准确性,增强设计的合理性,从而有助于降低引入安全缺陷的风险。因此,该文将重点研究产品安全策略及设计规范的半形式化描述及验证方法。首先,论述了通过分析安全功能接口,从安全功能要求中提取安全策略,以及从模块设计中提取设计规范的一般方法,给出了降低耦合性的子系统和模块划分规则;其次,通过选择和改进现有的半形式化工具,给出了描述安全策略以及设计规范的半形式化方法;最后,以IC卡芯片产品的测评为例,通过对部分安全策略以及设计规范进行半形式化处理,论证了产品所采取的安全策略可使安全功能要求得以充分满足,且相应的设计规范也是合理的。结果表明:该文所建立的半形式化方法在一定程度上适于所有信息技术产品的安全测评。(本文来源于《清华大学学报(自然科学版)》期刊2017年07期）
蔡婷,蔡宇,欧阳凯[5]（2016）在《云系统中多域安全策略规范与验证方法》一文中研究指出为了有效管理云系统间跨域互操作中安全策略的实施,提出一种适用于云计算环境的多域安全策略验证管理技术。首先,研究了安全互操作环境的访问控制规则和安全属性,通过角色层次关系区分域内管理和域间管理,形式化定义了基于多域的角色访问控制(domRBAC)模型和基于计算树逻辑(CTL)的安全属性规范;其次,给出了基于有向图的角色关联映射算法,以实现domRBAC角色层次推理,进而构造出了云安全策略验证算法。性能实验表明,多域互操作系统的属性验证时间开销会随着系统规模的扩大而增加。技术采用多进程并行检测方式可将属性验证时间减少70.1%~88.5%,其模型优化检测模式相比正常模式的时间折线波动更小,且在大规模系统中的时间开销要明显低于正常模式。该技术在规模较大的云系统安全互操作中具有稳定和高效率的属性验证性能。(本文来源于《计算机应用》期刊2016年07期）
陈晓苏,匡硕,吴永英,林植[6]（2008）在《基于XML的安全策略描述语言规范》一文中研究指出结合安全策略描述语言的要求和XML语言的优点,提出了一套基于XML的安全策略描述语言规范XBPL.阐述了其基本元素以及授权、职责和认证3种基本安全策略,给出了基于XML的相关语法描述,并用XBPL描述了访问控制中常用的BLP多级安全模型,实现了基于BLP模型最基本特性——简单安全性和*-特性的安全访问控制以及访问控制系统中的状态描述和状态转换.研究结果表明,XBPL语言具有较好的实用性、灵活性和动态特性.(本文来源于《华中科技大学学报(自然科学版)》期刊2008年06期）
李丽萍,卿斯汉,周洲仪,何建波,温红子[7]（2006）在《安全策略模型规范及其形式分析技术研究》一文中研究指出形式化是开发高安全等级计算机系统的核心技术之一,但目前形式开发方法无法直接借助于机器证明获得较之手工证明更加严格的安全策略模型正确性保证,以及安全策略模型和安全功能规范之间的精确对应。通过把安全功能规范开发技术应用于安全策略模型的开发中,提出了一种新颖的安全策略模型形式规范构造方法及其证明机理,从而有效解决了上述问题。还以Bell-LaPadula多级安全策略为实例,具体说明了规范的形式开发和形式分析过程。(本文来源于《通信学报》期刊2006年06期）
樊爱华,陈火旺,齐治昌,沈雁[8]（1995）在《动态灰色时序系统DGTS及其在安全策略规范中的应用》一文中研究指出设计安全策略模型时应考虑安全策略的时序特性和灰色特性，还应综合考虑保密性、完整性和可用性叁方面的需求。已有的安全模型没有描述时序性和灰色特性，而且一般只侧重描述保密性或完整性。为此，本文提出了动态灰色时序系统（简称ＤＧＴＳ）。本文详细描述了ＤＧＴＳ，以及基于ＤＧＴＳ的动态语义设计的灰色时序安全策略规范语言ＧＴＳＬ。(本文来源于《国防科技大学学报》期刊1995年04期）
安全策略规范论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
将高层建筑火灾时人与烟气的博弈,比作一盘棋局,规范主体是"棋手",所有设施、方法等都是"棋子",棋局的胜负体现棋手的水平。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
安全策略规范论文参考文献
[1].吴遵红,杨文睿,徐义,杨振寰.建筑施工现场起重机械使用的安全隐患及应对策略分析——起草《在用建筑起重机械技术检查规范》[J].工程建设与设计.2019
[2].刘朝贤.论“防排烟规范主体”与安全疏散设施、策略之间的辩证关系[J].制冷与空调(四川).2019
[3].李春燕.规范幼儿园安全管理的策略[J].小学科学(教师版).2018
[4].邓辉,石竑松,张宝峰,杨永生,刘晖.安全策略及设计规范的半形式化方法[J].清华大学学报(自然科学版).2017
[5].蔡婷,蔡宇,欧阳凯.云系统中多域安全策略规范与验证方法[J].计算机应用.2016
[6].陈晓苏,匡硕,吴永英,林植.基于XML的安全策略描述语言规范[J].华中科技大学学报(自然科学版).2008
[7].李丽萍,卿斯汉,周洲仪,何建波,温红子.安全策略模型规范及其形式分析技术研究[J].通信学报.2006
[8].樊爱华,陈火旺,齐治昌,沈雁.动态灰色时序系统DGTS及其在安全策略规范中的应用[J].国防科技大学学报.1995