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

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

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

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

艺术剧场里的另一场战斗

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

雪克然提·吐尔地尤夫——天山脚下“铁”法官

他从可克达拉草原走来,在兵团片片绿洲都留下了坚实的足迹。"雪克然提"维吾尔语意为"荣誉",在23年的法官生涯中,雪克然提·吐尔地尤夫以其忠实的承诺,护卫着法律天平的公正。"时间对我来说     

“两个提高、一个确保”促稳定

深入开展学习实践科学发展观活动最鲜明的特征就是突出实践特色,认真解决存在的突出问题。兵团监狱管理局党委在学习实践活动中,以“两个提高、一个确保”（提高队伍素质、提高执法水平、确保监管安全）为目标和抓手,努力推动兵团监狱工作上台阶、上水平.     

俄罗斯国家安全战略的演变

建国以来,俄罗斯的国家安全战略围绕大国复兴这一主线,总体上经历了从“消极防御”到“积极防御”再到“战略反攻”的演变过程。2009年5月公布的《2020年前俄罗斯联邦国家安全战略》表明,俄罗斯已经结束过渡时期,进入了长期战略发展的高水平时期。面对新的国际国内形势,俄将在新的国家安全观指导下推行“合理、实用”的对外政策,并继续凭借能源、军事两大支柱,在坚定维护国家核心利益的同时积极参与国际安全体系的重建,力争成为多极世界中“有影响力的独立一极”。     

靠良好形象带动部队稳步发展

师旅团领导干部是部队建设的中坚力量,处在带兵育人、执行任务的第一线,自身形象对部队和官兵具有最直接的影响.如何以良好的党性修养和人格魅力引领官兵履行好新的历史使命,已成为一个非常紧迫的现实课题.作为一名政治委员,我在工作中体会到,领导干部塑造良好形象,就应注重在立党为公、立志做事、立言立行、立德为官四个方面下功夫见行动.     

基于模糊-组合神经网络的信息系统安全风险评估

针对信息系统的安全风险评估问题,提出了一种将模糊理论与神经网络进行"浅层次"结合的评估方法。通过对信息系统所涉及的风险因素分别从资产影响、威胁频度、脆弱性严重程度三方面进行分析,建立了信息系统的安全风险层次化结构,并构造了各因素所对应评判集的隶属度矩阵;综合运用模糊推理算法与神经网络仿真技术,对信息系统的安全风险进行评估,进而判定信息系统安全风险等级。最后,通过实例分析说明了算法的应用,并借助误差分析检测了模型的有效性。     

在体系对抗演练中开展政治工作的几点启示

体系对抗演练作战要素全、组织难度大,只有加强党委统一领导,才能确保演练的正确方向;体系对抗演练战场环境苦、对抗强度高,只有扎实抓好战斗精神培育,才能不断激发官兵的参演热情;体系对抗演练情况转换急、态势变化快,只有积极优化组织指挥程序,才能保证演练政治工作快速高效、务实有为;体系对抗演练点多线长面广、作战力量分散,只有大力夯实基层建设基础,才能显著提高整体作战效能;体系对抗演练动用兵力多、安全风险大,只有始终抓好安全工作,才能确保演练全程安全顺利.     

并未动摇的国家安全战略基石——国外核武器发展趋势

以核导弹为代表的战略核武器不仅是国家安全的基石,也是国家地位的象征。美国与俄罗斯拥有全球96%的核武器。因此,美俄等国都把核武器作为战略武器而非常重视其发展。