基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

论省军区应对多种安全威胁战场管理

搞好战场管理,是巩固和提高省军区应对多种安全威胁能力的重要内容。信息化条件下,应对多种安全威胁军事行动的战场管理,必须针对其参战力量多元、指挥与保障关系复杂、军地协调内容多、管控范围广、难度大等特点,结合任务需要,围绕战场管理的中心任务,制定切实可行的战场管理措施,为省军区应对多种安全威胁提供有力保障。     

“国防之星”竞风流——记辽源市市长王兆华

走进美丽富饶的吉林省辽源市,市长王兆华真爱献武装、真情管武装、真招抓武装的事迹广为流传。听当地群众介绍,王市长不仅经济建设搞得好,辽源百姓生活富裕,而且武装工作抓得实,辽源市多次被省委、省政府和省军区评为“双拥模范城”,他本人则被评为“尽职尽责好预任领导干部”,并入选首届吉林省“国防之星”。     

加强区域合作 促进和谐发展——兵团经济技术协作20年工作回顾

随着改革开放的不断深入,尤其是西部大开发以来,兵团经济技术协作办公室紧紧围绕兵团的中心工作,扩大开放,外引内联,大力开展经济联合与协作,协作工作的广度越来越宽,内容越来越丰富,工作范畴进一步向招商引资、技术合作、智力引进、品牌共享、市场共创等方面拓展,为兵团经济社会发展发挥出积极作用。20年来,兵团经协     

以教学工作评价为抓手 全面做好服务保障工作

教学工作评价是事关学院建设与发展的重大问题,必须引起高度重视。为高质量做好服务保障工作,忠实履行教学评价保障部职责,应在以下方面实现创新发展:聚焦评价,打赢"攻坚战";以评促建练内攻,提高服务保障水平;营造平安和谐育人环境,筑牢安全防线。     

不断推动兵团惩治和预防腐败体系建设

《兵团党委〈建立健全惩治和预防腐败体系2008—2012年工作规划〉实施办法》(以下简称《实施办法》)和《关于对兵团党委〈建立健全惩治和预防腐败体系2008—2012年工作规划〉实施办法的分工方案》(以下简称《分工方案》)印发以来,各牵头部门积极行动起来,通过深入学习宣传、健全工作机制、分解任务职责、落实工作责任,认真抓好《分工方案》的具体落实,各项工作进展良好。各牵头部门把学习宣传中央     

发展团场工业的思考

兵团的基础在团场,团场发展的出路在哪里?这是兵团各级领导一直在探索的问题。近年来,农四师70团在实际工作中,积极实践,大胆创新,加快团场工业发展,为团场的产业结构调整,实现团场增效、职工增收,构建文明和谐团场发挥了巨大作用。     

迎难而上保增长 转危为机促发展

2009年是落实兵团第六次党代会决策部署、实现"十一五"规划目标的重要一年,也是战胜国际金融危机严重冲击、保持经济平稳较快发展的关键之年。兵团经济工作的首要任务,就是保持经济平稳较快发展,在科学发展观指导下,     

艺术剧场里的另一场战斗

7月5日下午20时30分,新疆第三届舞蹈比赛的复赛在新疆艺术剧场刚刚拉开帷幕,剧场外一场有预谋、有计划、有组织的打砸抢烧暴力犯罪事件发生了。当时,剧场里有来自全疆各地13个民族的演员、观众和工作人员共742人,其中有150多名汉族演员和观众,剧场院子里停放着70多辆车。暴徒们很快聚集在剧场外的公路上,见人就打,并企图冲进剧场,情况非常危急。     

基层宣传思想工作存在的问题与对策

宣传思想工作,是党的全部工作中的一个极其重要的组成部分。新时期,兵团基层宣传思想工作开展得好坏,影响着兵团事业的发展和"三大作用"的发挥。这里,笔者谈一些自己