均匀化对新型Al-Mg-Mn(Er)合金组织性能的影响

采用拉伸性能测试、光学显微镜(OM)、扫描电镜(SEM)、透射电镜(TEM)及能谱分析(EDS)研究了均匀化对低频电磁铸造Al-4.75Mg-0.7Mn-0.1Zr-0.1Ti-0.3Er合金的显微组织和力学性能的影响。在510℃/16h均匀化时,晶界残留相FeMnAl6/MnAl6的数量最少、而晶内弥散相的数量最多,且随后经热轧、冷轧和稳定化退火试样的强度最高;且在冷轧板拉伸变形组织中观察到了大量细小的胞状亚结构、100～500μm的FeMnAl6/MnAl6板条和10～30nm的ErAl3相;FeMnAl6/MnAl6相周围塞积了高密度的位错,ErAl3相易于在位错处析出并可有效地钉扎位错使变形更均匀。     

基于假设检验的自适应粒子滤波红外目标跟踪

在实时性要求较高的非线性非高斯环境中,粒子滤波中的粒子数选取将直接影响红外目标跟踪效果。为此,提出一种基于假设检验的自适应粒子滤波算法。通过假设检验问题中样本容量的选取确定粒子数,解决因粒子数过大造成的时间损耗。实验结果表明,该算法在保证目标跟踪准确度的同时可减少跟踪延时,具有较好的实时跟踪效果。     

云存储中基于多授权机构可撤销的ABE访问控制方法

针对跨域云数据访问控制中的安全性和有效性问题,提出了一种云存储下基于多授权机构ABE的可撤销访问控制方案。通过建立分散授权结构,由各属性授权机构(AA, Attribute Authority)和数据属主(DO, Data Owner)分别产生各部分密钥组件,从而避免由于中央授权机构（CA,Central Authority）而引入的安全风险,以及用户和授权机构之间的联合攻击。此外,本方案将权限撤销分为用户权限撤销和属性权限撤销,以较少的计算代价实现了访问控制权限的细粒度撤销。最后,利用双线性判定Diffie-Hellman(DBDH)假设理论分析了方案的安全性。并且通过实验验证了此方案在多授权主体共存的云存储环境下能够安全、高效的实现访问控制和权限撤销。     

WAPI接入鉴别过程的形式化分析与验证

WAPI协议是我国自行制定的无线局域网国家标准。该文在研究WAPI接入鉴别过程的基础上，使用BAN逻辑对其进行了形式化的分析和验证，证明了接入鉴别过程能够达到信息安全所要求的身份认证、数据完整性和机密性目标。     

认证测试方法在安全协议分析中的应用

系统研究了认证测试方法的应用原理，并将该方法应用于包含两方主体的Needham -Schroeder和包含三方主体的Woo—Lam认证协议的分析。最后通过比较认证测试方法和BAN逻辑在安全协议分析的应用说明了认证测试方法具有分析过程简捷、形式化描述规范的优点。     

可信移动终端完整信任链模型的研究与设计

分析目前移动平台信任传递存在的诸多缺陷,针对移动终端的特点及安全需求,提出了一种完整信任链模型,不仅能确保系统启动时的静态可信性,而且也能保障应用程序运行中的动态可信性.通过Dempster-Shafer原理计算信任值的方法验证分析,该模型能够有效解决信任度降低的问题,能增强平台可靠性,并且采用ARM微处理器对方案进行了实验验证.     

云存储中基于MA-ABE的访问控制方案

针对云存储中跨域数据访问控制的安全性和有效性问题,提出了一种基于MA-ABE的高效的、细粒度的访问控制方案。新方案通过使用密钥分割技术和代理重加密技术,在权限撤销时保证用户密钥的安全性,并将大部分密文重加密工作转移到云端,以降低数据属主的计算代价。利用数据属主和授权机构分别产生和分发属性私钥组件,将用户全球唯一标识(GID)和用户私钥相分离,避免了授权机构间的联合攻击,有效地保护了用户身份信息。最后,通过理论分析表明了新方案的安全性,并实验验证了该方案在权限撤销时的高效性。     

BAN逻辑与串空间相结合的安全协议分析方法

本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方 法将两种方法的优点结合,可以有效地分析协议的安全性,串空间模型可以避免状态空间爆炸的问 题,而通过引入改进的BAN逻辑公式,使得协议分析的自动化程度提高了。     

基于串空间的安全协议自动化验证算法

以串空间模型为理论基础,提出安全协议自动化验证算法IVAP。对于有漏洞的协议,针对不安全属性逆向搜索主体串树,自动生成改进协议并对其进行验证,直至生成一个安全的改进协议。实验结果证明了该自动化验证算法的有效性,与AAAP算法相比,其协议验证效率更高。     

一种安全增强型无线认证与密钥协商协议

针对当前3G网络身份认证与密钥协商方案存在扩展性差、用户身份信息易泄露的问题,提出一种基于无线公钥体制的安全增强型无线认证与密钥协商协议,实现实体间的双向身份认证,保护空中接口及有线通信链路,防止用户和接入网络身份标识泄露。该方案支持数字签名,可提供不可否认性业务。形式化方法验证分析表明,该协议能够满足安全需求。