导读:本文包含了安全策略描述语言论文开题报告文献综述及选题提纲参考文献，主要关键词:国家安全体系,语言,文化,文化安全
安全策略描述语言论文文献综述
李生文[1]（2014）在《试论国家安全体系中的语言安全问题——谈西方的语言霸权倾向与我国国家文化安全策略》一文中研究指出在当代国家安全体系中,作为国家安全构成要素之一的文化安全包含了语言文字安全。语言文字以多种形式影响着国家安全,而语言侵略、语言霸权作为文化侵略、文化帝国主义的一种形式,会对国家安全造成不同程度的威胁和危害。因此,在保障国家安全的体系中,语言文字机构和语言文字工作具有独特的地位和作用。(本文来源于《攀登》期刊2014年04期）
包义保,殷丽华,方滨兴,郭莉[2]（2013）在《动态安全策略逻辑语言及安全属性验证问题的研究》一文中研究指出针对动态安全策略在策略表达、判决和验证等方面具有的重要意义,提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML.首先,给出了SSML逻辑系统的语法和语义,并且证明了一般意义上的SSML逻辑系统查询评估问题是不可判定的,从而表明不存在通用的SSML安全策略语义查询评估算法.其次,研究SSML子语言特性,发现两类语法受限的SSML动态安全策略——NDel型安全策略和TDel型安全策略.虽然前者不允许在安全策略中出现删除规则,后者只允许完全信任的管理人员执行删除规则,但它们的查询评估问题是可判定的,并且分别构造出它们的查询评估算法——OLDTE和OLDTT.最后,通过实例说明如何使用OLDTE或OLDTT实现安全策略验证,从而证明这两类动态安全策略具有广泛的应用前景,对动态安全策略及其安全性分析方法的研究具有重要意义.(本文来源于《计算机研究与发展》期刊2013年05期）
黄劲,刘树郁,辛小霞,张新楠,王扬[3]（2012）在《数字语言实验教学平台系统优化与安全策略》一文中研究指出数字语言实验教学平台是大学外语教学的重要环境条件,对强化学生外语能力,提高外语教学水平和质量起到至关重要的作用。如何确保平台处于良好的运行状态,提高系统的性能和效率,以及提高整体的管理服务水平,已成为当前数字语言实验教学与管理改革的一项研究课题。结合具体的工作实践,并以实验教学与管理改革研究项目为基础,将全面地阐述数字语言实验室系统升级改造和优化的探索与实现方法。(本文来源于《现代计算机(专业版)》期刊2012年02期）
王畅[4]（2011）在《浅谈JAVA语言环境下安全策略的实施》一文中研究指出近年来,随着分布计算系统的发展和通信技术的进步,移动代码技术有了巨大的发展,特别是互联网的出现和Java的流行,移动代码的地位已不可替代。然而代码移动性带来的安全问题也愈显突出。因此,基于规范的入侵检测技术在描述和实施安全策略方面起着指导性作用。(本文来源于《中国新技术新产品》期刊2011年07期）
魏达[5]（2009）在《在JAVA语言环境下实现安全策略的强制实施》一文中研究指出非信任代码的安全执行是移动代码安全的重要问题之一。携带模型代码(Model Carrying Code)方法同时考虑了移动代码生产者和使用者对安全性的支持和需求,建立了以模型为中心的安全执行非信任代码的理论框架,其中安全策略的定义和强制实施是MCC方法的重要组成部分之一。本文针对已被广泛使用的Java移动代码,以开源Java虚拟机Kaffe和Linux操作系统为研究载体,提出了在Java语言环境下的安全策略的实施模型,并实现从安全策略定义到实施的整个过程。本文在安全策略规范描述,可强制实施的扩展有限自动机(EFSA)模型和进程级监视,以及捕获系统调用等方面都做了有益的研究,为完善MCC方法和实现安全策略的强制实施提供很好的方案。本文最终实现的监控程序,经测试表明对违反安全策略的Java移动代码的强制执行是有效的,而对于没有违反安全策略的情况也没有错误的报警,还用数据说明监控程序的效率成本也是可以接受的。最后还探讨了在Java语言环境下MCC方法的进一步实现,为将来的工作确立了方向。(本文来源于《吉林大学》期刊2009-04-01）
陈晓苏,匡硕,吴永英,林植[6]（2008）在《基于XML的安全策略描述语言规范》一文中研究指出结合安全策略描述语言的要求和XML语言的优点,提出了一套基于XML的安全策略描述语言规范XBPL.阐述了其基本元素以及授权、职责和认证3种基本安全策略,给出了基于XML的相关语法描述,并用XBPL描述了访问控制中常用的BLP多级安全模型,实现了基于BLP模型最基本特性——简单安全性和*-特性的安全访问控制以及访问控制系统中的状态描述和状态转换.研究结果表明,XBPL语言具有较好的实用性、灵活性和动态特性.(本文来源于《华中科技大学学报(自然科学版)》期刊2008年06期）
匡硕[7]（2007）在《一种基于可扩展标记语言的安全策略描述语言及其应用》一文中研究指出随着计算机网络向社会各个领域的渗透,对网络安全的研究越来越受到研究人员的重视,其中基于策略的安全管理是研究的热点问题之一。作为基于策略安全管理系统核心之一的安全策略描述语言,至今没有一种业界通用的标准。因此,研究一种通用的安全策略描述语言规范,并以此为基础研究基于策略安全管理系统的实际应用,对网络安全研究的发展具有重要的现实意义。通过对现有的基于策略安全管理关键技术的分析,结合安全策略描述语言的要求和可扩展标记语言XML(Extensible Markup Language)语言的优点,提出了一套基于XML的安全策略描述语言规范XBPL(XML-Based Policy description Language)。以策略的可用性、灵活性以及描述的一致性为原则,设计了XBPL的总体结构,定义了其基本元素,详细阐述了授权策略、职责策略和认证策略叁种基础安全策略以及组、角色和关联叁种复合策略的功能和语法,并讨论了策略执行过程中的异常处理。在XBPL详细定义的基础上,通过分析网上阅卷系统的业务流程和安全需求,将基于策略的安全管理技术和XBPL引入网上阅卷系统的安全管理中。设计了一个分域管理的多层次分布式安全架构,有效提高了安全子系统的动态调整能力。基于这种安全架构,使用XBPL对系统中各实体及其相关的安全要求进行了描述,使用授权策略实现了安全访问控制,使用职责策略实现了用户责任定义,使用认证策略实现了用户身份认证。XBPL在网上阅卷系统中的实际应用表明,基于策略的安全管理技术能够很好地满足网上阅卷系统的安全需求,除了能够保证系统运行的安全性,还具备了良好的灵活性,具有很好的推广价值。(本文来源于《华中科技大学》期刊2007-02-01）
刘鹏,胡建斌,陈钟[8]（2006）在《分布式计算环境下的语义安全策略语言(英文)》一文中研究指出提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWLDL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等。SSPL还支持基于规则的安全策略,使得该语言具有更强的表达能力。为了分析SSPL策略的形式化语义和推理的可判定性,引入DL-safe规则和courteous logic program的概念,并定义了一组从SSPL策略到courteous DL-safe program的转换规则,介绍了对转换得到的逻辑程序的推理过程。(本文来源于《北京大学学报(自然科学版)》期刊2006年05期）
韩志勇,王萍,倪勇,李先国[9]（2005）在《异构信息系统下安全策略协同的设计与形式化语言描述》一文中研究指出在异构的信息系统中,为了保障信息的安全,都会采用相应强度的访问控制技术和策略。为了在异构信息系统之间,能够有效地共享资源,就需要在异构系统间实现安全策略的协同。给出了一个基于票据的安全策略协同模型,用形式化的语言对其进行了描述,并完成了对票据权限的计算。(本文来源于《计算机应用》期刊2005年07期）
施军,刘琼波,尤晋元[10]（2001）在《基于规则的安全策略定义语言》一文中研究指出基于任务角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能。用户使用这种高层描述语-言可在不同的系统中定义各种特定应用的安全策略。还给出了基于扩展的稳定模型的语义描述,定义了安全策略正确性的条件以及验证方法,并进一步讨论实现安全策略的有关问题。(本文来源于《计算机工程》期刊2001年07期）
安全策略描述语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对动态安全策略在策略表达、判决和验证等方面具有的重要意义,提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML.首先,给出了SSML逻辑系统的语法和语义,并且证明了一般意义上的SSML逻辑系统查询评估问题是不可判定的,从而表明不存在通用的SSML安全策略语义查询评估算法.其次,研究SSML子语言特性,发现两类语法受限的SSML动态安全策略——NDel型安全策略和TDel型安全策略.虽然前者不允许在安全策略中出现删除规则,后者只允许完全信任的管理人员执行删除规则,但它们的查询评估问题是可判定的,并且分别构造出它们的查询评估算法——OLDTE和OLDTT.最后,通过实例说明如何使用OLDTE或OLDTT实现安全策略验证,从而证明这两类动态安全策略具有广泛的应用前景,对动态安全策略及其安全性分析方法的研究具有重要意义.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
安全策略描述语言论文参考文献
[1].李生文.试论国家安全体系中的语言安全问题——谈西方的语言霸权倾向与我国国家文化安全策略[J].攀登.2014
[2].包义保,殷丽华,方滨兴,郭莉.动态安全策略逻辑语言及安全属性验证问题的研究[J].计算机研究与发展.2013
[3].黄劲,刘树郁,辛小霞,张新楠,王扬.数字语言实验教学平台系统优化与安全策略[J].现代计算机(专业版).2012
[4].王畅.浅谈JAVA语言环境下安全策略的实施[J].中国新技术新产品.2011
[5].魏达.在JAVA语言环境下实现安全策略的强制实施[D].吉林大学.2009
[6].陈晓苏,匡硕,吴永英,林植.基于XML的安全策略描述语言规范[J].华中科技大学学报(自然科学版).2008
[7].匡硕.一种基于可扩展标记语言的安全策略描述语言及其应用[D].华中科技大学.2007
[8].刘鹏,胡建斌,陈钟.分布式计算环境下的语义安全策略语言(英文)[J].北京大学学报(自然科学版).2006
[9].韩志勇,王萍,倪勇,李先国.异构信息系统下安全策略协同的设计与形式化语言描述[J].计算机应用.2005
[10].施军,刘琼波,尤晋元.基于规则的安全策略定义语言[J].计算机工程.2001