动态灰色时序系统 DGTS 及其在安全策略规范中的应用

设计安全策略模型时应考虑安全策略的时序特性和灰色特性,还应综合考虑保密性、完整性和可用性三方面的需求。已有的安全模型没有描述时序性和灰色特性,而且一般只侧重描述保密性或完整性。为此,本文提出了动态灰色时序系统（简称ＤＧＴＳ）。本文详细描述了ＤＧＴＳ,以及基于ＤＧＴＳ的动态语义设计的灰色时序安全策略规范语言ＧＴＳＬ。     

类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

车辆规范化管理面临的问题及对策

部队车辆的使用与管理,是集科学性、技术性、经济性为一体的军事工作,如何规范使用和管理,直接影响着平、战时各项后勤保障任务的完成。本文就此问题谈点粗浅的看法。     

军人工资待遇立法刍议

文章从《公务员法》对公务员工资的规定和规范这一实际出发,分析了军人工资待遇立法的必要性,提出了军人工资待遇立法应坚持的原则,阐述了公务员工资的法律规范对实现军人工资待遇科学立法的借鉴作用。     

深入贯彻落实科学发展观推动后勤财务建设又好又快发展

深入贯彻落实科学发展观,推动后勤财务建设又好又快发展,必须夯实基础、规范管理、改革创新、提高多样化军事任务财务保障效率。     

军队财务预算管理改革的理论与实践

沈阳军区财务部面对新形势下军队建设的实际,运用马克思主义的科学世界观和方法论,分析解决军队财务预算管理过程中出现的新情况、新问题,先后在改革军队财务管理机制、供应方式和管理方法等方面取得了10多项成果,全区预算收支平衡率、家底基数达标率得到了全面提高。     

贯彻“三个代表”重要思想培养高素质军队财务干部队伍

文章认为,做好新形势下的军事经济工作,必须以“三个代表”重要思想为指导,着力增强军队财务人员的“七个意识”,努力培养一支高素质的财务干部队伍;坚持与时俱进,把思想政治工作和财务管理工作结合起来,在狠抓落实上下功夫,确保军事经济安全和高效运行。     

军队财务士官教学转型的几点思考

军队出纳担负着军队现金的收付往来以及票据的管理工作,岗位重要,责任重大,是财务管理工作的"守门神"。因此,     

消防部队财务规范化建设之我见

规范的财务管理是后勤保障工作的核心,为加强消防部队财务规范化建设,要紧紧围绕“决策科学、运行规范、管理创新、控制严格、监督到位”这一目标,创新管财理念,加强制度建设,健全工作机制,严格监督检查。