市长谈亮化掠影

虎年春节前，内蒙扎兰屯市政府副市长王勇在执法局局长申迎春、副局长齐国军、市政管理处主任肖明光的陪同下，检查指导春节亮化工作。     

基于MILP的相关密钥差分分析安全评估算法改进

近年来,基于混合整数线性规划(MILP)的密码分析方法在对称密码的安全性分析中发挥了重要作用. Zhou等人在FSE 2020上提出了结合分治法,大幅度提高基于MILP的差分和线性特征搜索方法效率.本文将Zhou等人的方法扩展到相关密钥差分特征搜索,提出了一种更高效的基于MILP的相关密钥差分分析安全评估新算法.应用新算法评估了PRESENT-80/128抵抗相关密钥差分分析的安全性,得到了高达15轮的最小活跃S盒数量和高达12轮的最优相关密钥差分特征,并由此得到了迄今最紧的PRESENT-80/128抵抗相关密钥差分分析安全界.找到了一条概率为2^-62的15轮PRESENT-80相关密钥差分特征,和一条概率为2^-60的16轮PRESENT-128相关密钥差分特征,是目前对于PRESENT-80/128轮数最长的相关密钥差分特征.     

关注民生解民忧真心为民办实事 2009年市扎兰屯政管理处路灯建设纪实

扎兰屯市政管理处把关注民生作为开展业务工作的出发点，2009年的市政设施维护管理工作是历史上最忙碌、最紧张的一年，按09年工作计划，本着灯明、路平、水畅的原则，展开了近100天的建设维护大会战。     

提升旅游名城品位谱写扎兰亮丽华章——扎兰屯30年来路灯发生巨大变化

在过去的几年里,扎兰屯市政管理处把市区亮化作为一项重点工作来抓,以高标准建设、高品位管理的理念,亮化一处,带动一片,管理上一个台阶的思维,加大广场照明设施和路灯的建设力度。路灯建设也是市委、市政府为发展经济,提高人民生活质量而重点抓的一项工作。市政管理处领导在工作上不等不靠,拓展工作思路,本着为百姓办事,为政府分忧的原则,提升扎兰亮化效果,近年来扎兰屯市区亮化发生了巨大的变化。