高效强安全的多策略虚拟企业交互认证方案

成员企业间的信任交互是虚拟企业所有安全问题的基础和前提。现有的虚拟企业交互认证方案都没有定期更新和多策略认证功能,且有些不能抵抗合谋攻击,有些不具备身份可追查性,有些将盟主放在主导地位,安全性较差。为此,提出了一个多策略、可定期更新的高效强安全虚拟企业动态认证方案,进行了安全性分析和效率对比。方案可实现证书的定期更新;成员加入或退出时无需改变群私钥、其他成员的密钥和证书,减小了方案实施的代价;实现了多策略证书颁发,更能适应不同成员区别认证的需求;方案还具有抗合谋攻击性、签名成员身份可追查性、部分签名可验证性等多种安全优势。仿真实验表明,相对于其他方案,该方案计算效率更高。     

正丁烷在HZSM-5分子筛上的高温裂解反应

利用X射线衍射法、NH3-程序升温脱附法、傅里叶变换红外光谱法等技术对不同Si O2/Al2O3(简称硅铝比,摩尔比,下同)的HZSM-5分子筛进行了表征,并且在微反评价装置上对分子筛催化正丁烷高温裂解活性进行了评价。结果表明:当硅铝比分别为38,200,470(依次命名为试样1~试样3)时,随着硅铝比的增加,分子筛BET比表面积增大,强酸性位的强度降低。当裂解温度由823 K升高至873 K时,各试样的转化率均提高,转化率由高到低依次为试样1、试样2、试样3。随着反应温度的升高,甲烷、乙烷、乙烯和丙烯的选择性显著提高;甲烷和乙烷的选择性始终高于乙烯和丙烯。     

可同时求解最大最小值的安全保密计算协议

安全多方计算因其具有去中心化、输入隐私性、公平性等特点,对于研究数据隐私保护问题具有重要的价值,能够保护各个参与者的秘密信息。而安全多方计算中一个最基本的问题就是保密计算多个数据的最值,目前该问题只能通过多次调用子协议来分别求出最大值和最小值或者将该问题转化为排序问题来解决,但这种做法会大大增加计算复杂度甚至会泄露最大值和最小值之外的其他隐私信息。本文针对现有的安全多方计算协议存在的不能一次性保密计算最大值和最小值、效率低下、保密计算结果由唯一的指定解密密钥持有者获取等问题,提出一种新的隐私数据编码方法,在此基础上结合 ElGamal 同态加密算法以及最大门限解密构造了一种无需可信第三方的可同时求解最大值、最小值的安全高效保密计算协议,该协议能够根本抵抗合谋攻击。在此基础上,基于理想-现实模拟范例证明所提方案在半诚实模型下的安全性,最后选取同类方案进行效率分析和性能对比,理论分析和仿真验证表明所提协议在满足更高安全性的前提下,计算复杂度和通信复杂度也较已有方案具有一定的优势。     

一种基于格理论的数字签名方案

本文介绍了一种建立在解决NTRU格（NTRU Lattice）中近似最近向量问题（Appr-CVP）基础上的数字签名方案.与现有的基于解决Appr-CVP问题的数字签名方案相比,这种新的数字签名方案通过构造完整的短格基进行签名,在签名与近似最近向量问题之间建立了直接而清晰的关系,因此不需引入任何附加结构,具有更高的安全性.同时,该签名方案引入了适当的扰动,有效地限制了攻击者通过分析大量签名副本所获取的有用信息,具有副本分析免疫性.实验结果表明：该方案不仅安全可靠,而且易于实现.     

锂离子蓄电池组在轨遥测数据分析与寿命预计

伴随新能源技术的不断发展,锂离子蓄电池组已逐渐取代氢镍蓄电池组,成为卫星的新一代储能电源。根据锂离子蓄电池组特性提出了在轨管理策略,通过锂离子蓄电池组的在轨遥测数据,对锂离子蓄电池组的充放电性能、单体电池电压离散性、在轨均衡情况以及温度特性进行了分析,并对锂离子蓄电池组在轨寿命进行了预计。     

盒式房屋层间摩擦隔震体系地震反应的研究

针对一种装配式钢筋混凝土盒式结构房屋，研究了其在各层之间均设置摩擦隔震部件时的地震反应分析模型和理论。在该体系中，除基础部位允许产生摩擦滑动外，上部各层也采用了摩擦滑动隔震构造，这种体系将房屋结构沿竖向在每层之间的隔震缝处断开，从而由下至上反复多次改变了地震反应动力分析的结构模型，并重点对层间摩擦隔震的力学机制作了理论研究，建立了地震反应时程分析的有关公式，为该结构的动力计算分析奠定了基础。     

面向云服务的安全高效无证书聚合签名车联网认证密钥协商协议

针对目前车联网认证密钥协商协议效率低下以及车辆公私钥频繁更新的问题,提出一个基于无证书聚合签名的车联网匿名认证与密钥协商协议.本方案通过引入临时身份和预签名机制实现对车辆的隐私保护以及匿名认证,同时通过构建临时身份索引数据库,实现可信中心对可疑车辆的事后追查,满足车辆的条件匿名性要求.此外,本方案中车辆的公私钥不随其临时身份动态改变,有效避免了已有方案公私钥频繁更新带来的系统开销.同时,为了提供高效的批量认证,采用无双线性对的聚合签名技术,实现了车辆签名的动态聚合和转发,有效降低了签名传递的通信量和云服务器的验证开销.本文方案在eCK模型和CDH问题假设下被证明是形式化安全的.     

中国国家大剧院结构静力分析

中国国家大剧院平面布置不规则，体型复杂，为此对剧院进行了合理的建模，并使用大型结构分析软件-AN-SYS5.71对其进行了静力分析，得到了梁，柱，墙，板等构件的轴力，剪力及弯矩等结果，指出了结构设计中的薄弱环节。     

无筋砌体抗震墙的弯剪破坏及等效剪跨比研究

研究无筋砌体抗震在轴力及面内水平作用下同时产生弯曲、剪切开裂破坏下的界限剪跨比。首先阐述弯剪临界破坏、界限剪跨比及异形截面墙体等效剪跨比的概念,提出单一材料的无筋砌体墙界限剪跨比的有限元弹性分析推断法;在砖砌体结构通常层数及材料范围内,计算矩形及异形截面无筋砖墙的界限剪跨比。研究表明,无筋砌体墙的界限剪跨比一般为0.5～1.2,受材料强度影响小;界限等效剪跨比有效地消除了截面形式影响。