3G移动通讯AKA协议及其形式化验证

简略回顾了移动通讯的发展过程以及相应的安全机制，介绍了第三代移动通讯系统中所采用的认证与密钥协商协议，并利用AUTLOG信仰逻辑给出了形式化验证过程，在假定HE和SN之间的系统连接安全的前提下，该协议能够成功地达到预期目标。     

等级保护与服务器系统的安全

介绍了国家的计算机信息系统安全等级保护.按照国家等级保护的标准,提出一个系统、可行的计算机信息系统安全的解决方法,以便管理人员按照此方法规划自己单位的网络安全的解决方案.     

A New Fast Modular Arithmetic Method in Public Key Cryptography

0 IntroductionPublic key cryptosystemsolvedthe secure problemof keydistributionsoundlyinsymmetric cryptosystem[1],real-ized digital signature and message authentication successfullyin secureinformationsystem. However ,secure applications ofthemneed badly high-speedsoftware,hardware,andarithme-tic computation of large number .Furthermore,the secret ex-ponent cannot betoosmall[2]and operands should be 1 024 bitorlarger[3]whenthe securitylevel is set high.So,manylargeinteger modular multiplicatio…     

用积分平均法求解沸腾炉空气埋管的动态特性

本文提出了建立具有分布参数性质的沸腾炉空气埋管的数学模型的一种有效方法， 即积分加权平均、低阶集中参数法（简称积分平均法），并把这种算法与利用高阶（４９ 阶）集中参数模型所得的结果作了对比，两者重合良好．在此基础上，给出了空气埋管。 动态特性的实际算例．并由此得到了两个在控制系统设计中有价值的结论。     

煤流化床燃烧过程中大颗粒的碎裂行为

流化床燃烧中破碎特性影响了焦炭的燃烧．利用下行气流振动床代替流化床，研究了煤的碎裂特性．根据岩相的不同，把大同煤分为亮煤(C)和暗煤(D)，以了解床温、停留时间和振动强度对碎裂特性的影响．实验结果表明，不同煤岩的碎裂不同；较高的温度、较长的停留时间、较大的振动强度可以强化碎裂．     

固定床催化体系中苯酚与苯乙烯的反应

用固定床反应器研究了固体酸催化的苯乙烯与苯酚的烷基化反应，表明选择合适的反应条件有利于生成较为有用的对位产物，该反应体系不仅具有釜式反应体系的活性好，选择性高的特点，还可大大减少苯酚用量，简化了产物的后处理，有很好的应用前景。     

图论在检修维护工期规划中的应用——关键路线法的证明与计算

本文证明出,在图G上一种新的求关键路线方法。该法便于编制程序与上机计算。通过工程实例检验证该实法简便及运算速度快。     

小卫星柔性测试床设计与实现

分析了小卫星地面综合测试系统的特点和功能,通过对几种型号小卫星系统的研究,给出了柔性测试床的软硬件体系结构,阐述了柔性测试床星上和地面两部分的设计思想,主要介绍了通信参数的动态配置、TM数据信号的定义与解析的实现方法。小卫星柔性测试床已成功应用于三颗小卫星系统的研制,并取得了明显的应用效果。     

LSB隐写术的密钥恢复方法

作为隐写术安全性分析的重要手段,隐写分析已成为信息隐藏领域的一个研究热点.而通过恢复隐写密钥来提取隐藏的消息是隐写分析的主要目的之一.为了研究如何搜索隐写密钥,首先在"已知载体"和"载体被重复使用"条件下,分析了恢复LSB隐写术密钥的计算复杂度.然后在"载体被重复使用"条件下,对图像空域LSB隐写术提出了一种新的密钥恢复算法.该算法借鉴了密码分析中的"分别征服攻击"思想,使计算复杂度由O(2 (2r))降至O(2 r).实验结果表明了该算法的有效性.