对PICO算法基于可分性的积分攻击

对近年来提出的基于比特的超轻量级分组密码算法PICO抵抗积分密码分析的安全性进行评估。首先,研究了PICO密码算法的结构,并结合可分性质的思想构造其混合整数线性规划（MILP）模型;然后,根据设置的约束条件生成用于描述可分性质传播规则的线性不等式,并借助数学软件求解MILP问题,从目标函数值判断构建积分区分器成功与否;最终,实现对PICO算法积分区分器的自动化搜索。实验结果表明,搜索到了PICO算法目前为止最长的10轮积分区分器,但由于可利用的明文数太少,不利于密钥恢复。为了取得更好的攻击效果,选择搜索到的9轮积分区分器对PICO算法进行11轮密钥恢复攻击。通过该攻击能够恢复128比特轮子密钥,攻击的数据复杂度为2^63.46,时间复杂度为2⁷⁶次11轮算法加密,存储复杂度为2²⁰。     

一种轻量级的Ad Hoc网络会话密钥建立方案

Ad Hoc网络是一种不依赖于任何固定基础设施、没有中心控制节点,计算资源受限的新型无线移动网络.本文基于SCHNORR签名方案,提出了一个新的适用于Ad Hoc网络的基于口令认证和口令进化的轻量级双方密钥协商方案.新方案具有抗中间人攻击、抗重放攻击、密钥独立和前向安全等多种安全特性.     

加密移动代码的密钥管理方案

针对加密保护移动代码存在的密钥管理困难、影响程序升级的问题,提出了基于Shamir的门限分存算法的密钥管理方案,并在Java^TM上实现。该方案使不同的Java字节码文件产生不同的密钥,避免了对程序升级的影响;利用门限算法将密钥分成多个伪随机性因子,通过置乱和异或的方法,将因子均匀地分布到加密的代码中,使攻击者难以直接发现密钥因子;在加密代码还原时,随机地提取因子恢复密钥,重复使用相同因子的概率很小。该方案避免了对程序升级的影响,同时能有效干扰攻击者对密钥生成过程的跟踪,在很大程度上增加了攻击者破解密钥的难度;而且通过性能测试看出,没有增加原Java程序的运行负担。     

一个新的RDP密码套件

针对远程桌面协议,提出1个新的基于口令的增强认证性的密码套件. 该密码套件利用远程桌面协议原有的口令,设计了一个增强认证的密钥协商协议,且不改变密钥计算过程. 在随机预言机模型下,给出安全性证明. 采用这个密码套件的远程桌面协议握手过程能够避免中间人攻击. 这也是有关通过新的可证明安全的密码套件提高远程桌面协议安全性的首次尝试.     

LAC认证加密的伪造攻击及其改进

针对认证加密算法在设计中出现的一些不足,尤其是近年兴起的CAESAR竞赛征集算法,介绍了两种伪造攻击的手段,通过对破坏密文的完整性,达到欺骗认证者的目的。以LAC候选算法为例,通过伪造攻击的方法,对其内部结构、认证机制和攻击原理进行了分析和描述,并对其原有结构进行了改进,使其能够有效的抵抗现有的伪造攻击。通过对其安全性进行了分析,表明LAC算法改进方案能够有效抵抗伪造攻击。     

动力电池微细通道散热数值分析研究

动力电池对温度敏感度高,高温散热实现难度较大,尤其是极端环境温度和高倍率放电下。设计了一个微细通道电池液冷散热系统,针对系统进行不同放置方式、环境温度、冷却液入口温度、入口流速的影响研究。发现竖直方式电池组可获得较好的温度分布;环境温度变化对电池组温度变化影响较小;电池组温度与冷却液入口温度基本呈线性变化,冷却液入口流速增加可显著降低电池组最高温度,提高温度均匀性。最后对流道进行尺寸优化,增大高度是较好的优化方案。     

电子信息化与我国的民主政治建设

信息化浪潮的兴起促进了我国政治、经济、文化等各项事业的发展,信息化对政治的影响主要表现在民主政治的建设上它为民主政治的发展提供了全新的技术手段,改变了传统的民主交流形式,推动了直接民主的实现。     

致密气藏压裂井产能预测方法

对低渗透致密气藏实施压裂增产改造是改善储层导流能力、提高储层产能的必要措施。低渗透致密气藏压裂后的产能受多种因素影响,如储层物性、裂缝几何形状、启动压力梯度等。分析产能影响因素、进行压裂井产能预测。有利于制订合理的生产制度,是加快低渗透致密气藏开发进程的关键．基于低渗透致密气藏流体渗流规律。并结合传统的二维裂缝延伸几何模型,通过表皮因子将裂缝几何参数设计与产能分析相结合,形成一种能够快速预测低渗透致密气藏压裂后的拟稳态和瞬态条件下产量的方法．．实例分析表明,地层渗透率、气藏厚度、近井伤害表皮因子和压裂施工规模是影响最终产量的主要因素．提出的致密气藏产能预测方法求出的结果与实测数据拟合后误差较小,可为低渗透致密气藏水力压裂设计提供有效技术支持．