导读:本文包含了形式化安全策略模型论文开题报告文献综述及选题提纲参考文献，主要关键词:数据库,安全策略,建模
形式化安全策略模型论文文献综述
裴浪[1]（2016）在《数据库形式化安全策略模型建模及分析方法》一文中研究指出伴随着互联网的兴起,逐渐在数据库的安全建设中存在着很多问题。大多数的人都对网络不太了解,越来越担心自己的个人隐私被泄露以及数据库安全模型策略中难以发现的细小瑕疵,文章就针对数据库的安全建模策略进行分析建设,以更具体地了解数据库的安全策略。(本文来源于《无线互联科技》期刊2016年08期）
王榕,张敏,冯登国,李昊[2]（2015）在《数据库形式化安全策略模型建模及分析方法》一文中研究指出目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统Beyon DB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。(本文来源于《通信学报》期刊2015年09期）
温红子,周永彬,卿斯汉[3]（2005）在《基于框架的形式化商务安全策略模型》一文中研究指出商务信息系统安全的核心目标是维持系统数据的完整性 .虽然研究人员已提出许多完整性安全原则 ,但至今仍然缺乏一种系统的商务安全策略 .本文所提出的基于框架的形式化商务安全策略模型 (FB FCSM)是一个集成多种完整性原则的系统性商务完整性模型 ,具有良好的兼容性和扩展性 ,是Clark Wilson完整性安全策略的精化 .(本文来源于《电子学报》期刊2005年02期）
刘密霞[4]（2004）在《基于策略的信息安全模型及形式化建模的研究》一文中研究指出安全模型(Security model)准确描述安全的重要方面及其与系统行为的关系，建立安全模型的主要目的是提高对成功实现关键安全需求的理解层次。安全策略在确定安全模型的内容上扮演了非常重要的角色，所以成功开发一个好的安全模型需要一个清晰的、全面的安全策略。尤其重要的是，系统的构成必须确保它所支持的安全策略的一致。但是当前并没有严格的和系统的方法来预测和保证安全系统设计中这些重要的特性。本论文以信息系统的安全和网络安全为出发点，对安全系统的形式化开发方法、信息安全模型展开了深入的研究。首先对现有的安全模型进行了深入的分析后，得出了基于策略的信息安全模型。在模型的正式描述中，往往需要通过适当的数学方法来达到准确描述和分析的目的。本文提出了一个模拟安全系统体系结构并验证所需的安全限制是否与组件的构成得到保证的一个方法，通过安全限制模式的概念，形式化的说明系统所执行的安全策略的一般形式。然后通过时序逻辑(TemporalLogic，TL)和Petri网这两个形式化描述的工具，对基于策略的安全模型中的访问控制进行了形式化的描述与验证。TL是一个很流行的形式化描述，最适合描述结果和限制，而Petri网是很好的操作模型，非常适合分布式系统的建模构成与控制。最后通过Petri网的性质--可达性分析，验证了安全系统体系下的整体限制模式与组件限制模式之间的一致性，从而保证早期设计决定的完整性，并为安全系统的正确执行提供了一个导向的框架。(本文来源于《兰州理工大学》期刊2004-04-01）
单蓉胜,王明政,李建华[5]（2003）在《基于策略的网络安全模型及形式化描述》一文中研究指出当前许多安全技术从不同方面增强了网络安全。但是各类技术相对独立,冗余性大,在可管理和可扩展性方面都存在很多局限,没有从系统的角度提出一个很好的全面的解决方案。文章首先从系统整体安全的角度提出了新颖的信息安全系统的参考模型,并用形式化方法描述了模型中的一些关键技术。最后描述了参考模型在实际安全系统设计中的应用。(本文来源于《计算机工程与应用》期刊2003年13期）
形式化安全策略模型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统Beyon DB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
形式化安全策略模型论文参考文献
[1].裴浪.数据库形式化安全策略模型建模及分析方法[J].无线互联科技.2016
[2].王榕,张敏,冯登国,李昊.数据库形式化安全策略模型建模及分析方法[J].通信学报.2015
[3].温红子,周永彬,卿斯汉.基于框架的形式化商务安全策略模型[J].电子学报.2005
[4].刘密霞.基于策略的信息安全模型及形式化建模的研究[D].兰州理工大学.2004
[5].单蓉胜,王明政,李建华.基于策略的网络安全模型及形式化描述[J].计算机工程与应用.2003