云环境下去中心化跨域身份认证方案

为解决传统公钥基础设施(public key infrastructure,PKI)体系下跨域认证困难的问题,提出一种云环境下去中心化跨域身份认证方案.该方案基于星际文件系统和区块链技术,构造了一种去中心化的跨域身份认证模型.一方面通过设计高效的存储模式和存储控制分离方式,实现海量身份数据下的快速响应;另一方面通过设计...     

智能移动终端的位置隐私保护技术

从位置隐私保护理论模型和位置隐私保护方法两个方面入手,对智能移动终端上的位置隐私保护研究现状进行了探讨,重点研究当前模型和方法的优缺点以及各自的适用场景;结合智能终端和移动互联网的发展趋势,指出当前位置隐私保护技术存在的问题,对未来的研究方向提出了建议。     

基于情景感知的低交互移动双因素认证系统

针对传统双因素认证缺乏可用性的问题,本文提出了一种基于情景感知的低交互移动双因素认证系统.用户通过本系统登录网站时,除输入用户名和口令外,只需点击令牌程序的认证键即可完成认证,平均登录时间不超过5秒.同其它可用性加强的移动双因素认证系统相比,本系统能够抵抗同一环境下的攻击者,而且支持用户手机浏览器进行网站登录.最终安全分析和实验结果证实了本方法的有效性.     

Nd：YAG粉体的分散性研究

钇铝石榴石(YAG)单晶因其优良的光学性能和稳定的化学性能被广泛用作激光和其它发光基础材料.掺Nd的YAG透明陶瓷激光材料的研究,是十几年来在激光工作物质制备技术领域最为重要的创新.与单晶相比,陶瓷具有容易制造、成本低、尺寸大和掺杂浓度高、可大批量生产等优点,最重要的是陶瓷可以达到与单晶一样的光学和机械性能,然而合成化学纯度高、分散性能好、无团聚、粒度均匀的纳米原料粉体是制备透明YAG陶瓷的关键.Nd: YAG陶瓷粉体制备可采用固相法[1]、溶胶-凝胶法[2]、喷雾热解法[3、4]、共沉淀法[5]、机械化学法[6]等多种合成方法.这些方法中各有优缺点,共沉淀法是一种方法简单,易于控制,成本低廉的一个体系,郭旺[7]、王宏志[8]等所在的研究组对YAG的纯相、前驱体的组成、控制溶液的浓度和沉淀剂的pH值也进行了分析,在这些研究中,虽然都能形成较纯的YAG相,但其颗粒间也有较多的团聚,所以本文着重研究了不同分散剂对YAG粉体分散性的影响.采用共沉淀法合成粉体,在合成粉体时加入不同的分散剂,研究获得分散、无团聚的粉体.     

基于商户联盟的区块链快速交易方案

为将区块链交易应用于日常支付场景中,降低区块链交易的使用门槛,提出一种基于商户联盟的区块链快速交易方案。该方案充分考虑了日常支付的现实场景需求,将付款与交易分离,缩短了支付确认时延。针对现有工作中在押金以及交易手续费方面的不足,一方面通过设计筹码交易机制,释放系统内存在的被锁定资金,降低区块链交易在日常支付场景中的使用门槛;另一方面通过设计交易结算机制,将消费者结算与商户结算阶段解耦,增加商户结算的灵活性,降低交易手续费。考虑到交易过程中可能存在的作恶行为,本方案通过设计状态安全同步机制,为区块链快速交易提供安全保障。将本文方案与其他工作方案进行对比分析,结果表明,本文方案需要的手续费与押金更少,更加符合日常支付场景。     

无冗余可变难度值平行区块链协议

为解决传统区块链协议的可扩展性差问题,提出一种结构化且安全高效的区块链协议。将单一链扩展为多条平行链来提高区块链吞吐量,并设计交易验证模式解决交易冗余问题。提出可变难度值的出块机制,提高协议适用性并保证其平稳运行。通过设计适用于平行链的区块序列化机制,优化区块确认延迟。分析区块链关键性质和潜在安全威胁以保证安全性。实验评估结果表明,本文协议可有效改善区块链的吞吐量、确认延迟等性能,可以解决区块链可扩展性问题。     

Level Set方法在地面效应数值模拟中的应用

利用Level Set方法隐式捕捉界面并能处理复杂的物质界面及其拓扑结构变化（如合并、交叉、破碎等）情况的优势,基于可压缩N-S方程的预处理技术,采用基于界面两侧介质黎曼关系的修正虚拟流体方法对介质边界进行处理;将只能应用于可压缩流动界面模拟的修正虚拟流体方法推广应用于不可压缩流动问题的模拟,数值模拟了气-水运动界面与近水面飞行器的相互影响规律。通过与将水面视为对称面的简化模型对比发现：利用自由运动界面模型计算的NACA6409翼型升力较小,能更准确地反映飞行器流场对水面形状的影响,其结果更为符合实际;文中还对比了翼型距水面不同高度时的结果,得到了翼型受水面影响的强弱与翼型距水面的高度成反比的结论。     

逆向喷流流场模态分析及减阻特性研究

逆向喷流减阻的基本原理是利用逆向高速喷流与飞行器绕流的相互作用，使飞行器周围的流场结构发生变化，致使飞行器的气动特性发生改变，从而改善飞行器的气动性能。利用数值模拟方法对轴对称球头、截锥的逆向喷流流场开展了研究，考虑了高温非平衡化学反应对流场的影响。模拟了球头和截锥在不同总压比时流场不同的模态：长穿透流模态（LPM）和短穿透流模态（SPM），得到了不同模态下钝体表面压力、气动力系数和不同模态之间转换的瞬态效应．简单分析了喷流在减阻方面的应用，给出了几个喷口参数与减阻效率之间的关系，提出了喷流减阻工程应用时应考虑的主要因素。     

面向迁移学习中特征向量差异性的成员推理攻击

在以图像分类为目标任务的迁移学习场景下,针对攻击者能力和需求对应模型不一致的情况下攻击准确率较低的问题,提出面向特征向量差异性的成员推理攻击方案,构建阴影模型获取不同层次的特征向量,采用欧氏距离对不同特征向量之间的距离进行计算,提出阈值比较步骤对欧氏距离细化分类,并设计阈值选择策略。实验结果表明：在不访问教师模型的情况下,对教师模型实施成员推理攻击,所提攻击方案仍能实现较好的攻击性能。本文方案在Cats vs Dogs、Flowers102和CIFAR-100数据集上成员推理攻击准确率分别达到0.728、0.632和0.581,揭示了迁移学习场景下成员推理攻击的有效性。随着学生模型训练时冻结层数的增加,本文方案在Cats vs Dogs数据集上的攻击性能得到提升。     

基于Tamarin Prover的5G EAP-TLS协议的形式化分析

为了保证5G专用网络中移动设备的通信安全,第三代合作伙伴计划（3rd generation partnership project, 3GPP）提出了5G可扩展认证协议-传输层安全（extensible authentication protocol-transport layer security, EAP-TLS）。然而,现有的针对于5G EAP-TLS协议的研究工作较少且缺乏系统性。因此,对5G EAP-TLS协议进行详细的描述,并对该协议进行全面的形式化建模。对5G规范中涉及的所有协议实体以及证书分发机制进行建模,同时从5G规约中提取并建模了与5G EAPTLS协议相关的安全目标。提出证据搜索策略引导符号分析工具Tamarin Prover进行自动化证据搜索,解决了Tamarin Prover在验证复杂模型时验证过程无法终止的问题,实现了5G EAP-TLS安全目标的自动化验证。通过分析验证结果,发现了5G EAP-TLS协议能够满足机密性目标,但难以满足一些认证性目标,同时,揭示了协议存在拒绝服务（denial of service,DoS）攻击和用户通信数据泄露的隐患。针对...