群组密钥交换协议的设计与形式化分析

在网络通信日益普及的今天，信息成为当今人类社会的重要战略资源，所以必然会面对越来越多的安全威胁。随着人们对通信安全性的要求日益增长，网络通信协议成为了网络通信中的重要问题，如何有效的设计安全的协议以及进行协议的安全性分析在整个信息安全体系中占据着重要位置。其中形式化的分析方法是协议安全性分析的主要方法之一。串空间理论是近年来提出的一种新的形式化分析方法但是已有的串空间理论只适用于一些简单协议当中对于秘密性和认证性的分析，对于一些复杂情况下的协议安全性的描述与分析（例如协议交叉运行情况下的安全性或者群组协议当中动态情形下的安全性）仍然没有有效的方法。本文以串空间理论为主要工具在协议安全性的形式化分析方面做了深入的研究，主要研究成果如下： 1. 以串空间理论为基础对于理论本身进行扩展，引入理想等数学结构对于协议运行期间的消息之间的关系进行进一步的定义，给出了简单协议各种安全性的形式化描述和分析方法。 2. 基于给出的各种协议安全性的形式化描述方法证明了协议交叉运行情况下各种安全性（秘密性、认证性、零知识性、密钥独立性等）保持的条件。 3. 在串空间理论本身拓展的基础上给出环形群组密钥交换协议动态安全性的形式化描述和分析方法并证明了安全性保持的一般条件。 4. 对于树形群组密钥交换协议由于结构上的不同，提出新的基于项运算关系的项空间模型，填补串空间模型中对于消息运算关系描述方面的不足并以此为基础对树形群组密钥交换协议进行描述和安全性的分析，给出并证明了动态情形下保持安全性的一般条件。 5. 针对特殊安全需要设计适用于移动通信领域的可恢复的群组密钥交换协议。使得在群组成员情况变化频繁的情况下用户可以自动的恢复丢失的群组会话密钥。 6 针对特殊安全需要设计基于零知识集合的群组密钥交换协议实现对于群组成员的零知识性，在实现密钥交换的同时对群组成员身份加以保护，不泄漏关于群组的任何信息

基于模拟退火算法的液压楔式制动器优化研究

为了解决传统重载车辆鼓式制动器设计余量较大、制造成本较高的问题,以新型液压楔式制动器为研究对象,推导建立楔式制动器制动力矩、制动鼓表面平均温度、最高温度表达式,并以此为优化对象结合模拟退火算法,对液压楔式制动器进行结构优化,最后通过有限元计算与试验验证手段对优化后楔式制动器模型进行验证。分析结果表明,优化后的液压楔式制动器各关键部件应力值均满足材料使用要求,优化后的液压楔式制动器在不同制动压力和制动初速度条件下相对于优化前制动器制动效能稳定性较高

风电齿轮箱轴承内部疲劳裂纹萌生与扩展方向研究

针对风电齿轮箱轴承疲劳裂纹萌生方向的问题，通过理论研究，认为裂纹萌生的方向取决于萌生局部位置最大切应力幅所在平面方向。经计算发现，轴承滚道内部浅层位置正交切应力幅大于主切应力幅，较深位置主切应力幅大于正交切应力幅；裂纹萌生角度随萌生深度不同而变化。针对裂纹扩展问题，利用断裂力学裂纹尖端极坐标应力叠加的方法，明确了Hertz接触应力、残余应力、装配过盈压力等对裂纹扩展方向的影响，通过分析不同热处理金相组织的轴承失效案例，验证了理论的适用性

an improvement of the tmn protocol based on trapdoor oneway functions

提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式，利用串空间理论证明了它的安全性，并给出了几个具体的实现形式

group key exchange protocol based on zero-knowledge set

零知识集是一种新的具有零知识性质的集合.这种集合的构造使得证明者对于任意元素都可以给出一个证明,证明该元素属于这个集合或者不属于这个集合,同时不泄漏额外的信息.本文基于Pedersen承诺设计一种新的群组密钥分配方案,利用零知识集的性质实现密钥分配.协议不仅保证了组成员可以安全动态的获得组密钥,而且保证了组成员除了获取组密钥,不会得到群组中其它成员的相关信息.与先前工作相比,本文提出的方案提供了更高的安全特性,适合应用于一些较特殊的网络应用,如网络秘密会议

Production Control System for Bus Assembling Process

首先,研究客车装配过程中生产控制需求和生产特点,构建了客车装配生产控制系统,采用较为通用的五层体系结构.然后,对系统实现的关键技术、开发平台进行深入研究,数据采集使用自动识别技术,应用服务使用车辆跟踪、路由控制技术,报表分析使用Web技术.数据采集、报表分析分别基于.NET平台的Windows应用和Web应用,车辆跟踪、路由控制基于组态软件GEFanuc Proficy Tracker智能化平台.整个系统各层次功能明确,各层之间无缝集成,具有较强的鲁棒性和扩展性.最后,应用案例验证了系统的有效性

protocols security analysis based on ideal

1998年，Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具．并在1999年第1次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性．由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系，利用理想的结构来分析协议的一些安全性质，例如保密性、认证性、零知识性以及如何抵抗猜测攻击

Research on Flexible Flow Shop Scheduling Problem with Limited Buffer Based on an Improved ICA Algorithm

为了解决带有限缓冲区的柔性流水车间排产优化问题（Limited-Buffer Flexible Flow-shop Scheduling Problem，LBFFSP），首先建立LBFFSP的数学模型，提出了一种改进帝国竞争算法（improved imperialist competitive algorithm，IICA）作为全局优化算法，在标准帝国竞争算法基础上，引入模拟退火思想，扩大算法搜索范围，并加入离散化处理操作、改革操作、以及精英个体保留策略三处改进。为进一步提高算法搜索最优解效率，设计了一种基于优化目标的初始种群建立方法，并加入基于汉明距离的个体选择机制，以提高初始种群中初始解的质量。设计仿真实验，对算法中的参数进行分析探讨，确定最佳参数值.最后通过实例测试，将IICA算法与其他算法进行对比研究，验证了IICA算法对于解决柔性流水车间有限缓冲区的排产优化问题的有效性