通用可组合的一次签名和广播认证

本文在通用可组合框架（universally composable framework,UC）下研究了基于一次签名的广播认证的问题.基于一次签名的广播认证的计算效率高,并能够实现即时认证,可以适用于能量受限的网络环境下广播消息的认证.在UC框架下,提出了基于一次签名的广播认证安全模型.在模型中形式化定义了一次签名理想函数F_OTS和广播认证理想函数F_BAUTH.并且设计了广播通信的理想函数F_BCOM和多值注册理想函数F_mREG.然后,在(F_OTS,F_mREG,F_BCOM)-混合模型下设计了安全实现理想函数F_BAUTH的广播认证方案π_BAUTH.同时,在UC框架下设计了安全实现F_OTS的一次签名算法HORS+;基于单向链构造了在F_REG-混合模型下安全实现F_mREG的协议OWC.在π_BAUTH的基础上组合协议HORS+和OWC,可以构造出新的一次签名的广播认证协议.根据组合定理,新的广播认证协议具有通用可组合的安全性,适用于能量受限网络中广播消息的认证.     

通用可组合的匿名HASH认证模型

理想函数是通用可组合安全的核心组成部分，但是目前通用可组合安全框架中定义的认证理想函数通过将身份与消息和签名值绑定的方式来实现对身份的认证，没能充分体现出采用其他形式进行匿名认证的特殊需求．受到Marten的启发，文中利用通用可组合安全定义并实现了一种适用于无线网络的匿名Hash认证理想函数，并在此基础上定义了一个具有普遍意义的Hash证书权威模型．定义了匿名Hash认证机制的安全需求和安全概念，并且证明在标准模型（非随机预言机模型）下所提匿名Hash认证机制的安全属性可以通过安全对称加密机制、安全数据签名机制、伪随机函数以及单向无碰撞Hash函数的组合得到保证．考虑到无线网络的特殊限制，以及移动终端设备的有限计算能力，本理想函数主要采用对称密码原语来实现身份认证．     

VANET 中一种可撤销的车辆群组批认证方法

针对车辆认证的效率瓶颈问题,本文提出了一个群组安全通信方案.该方案运用批认证的方法来加快群组中车辆的认证速度,而在群组的构建过程中,采用无证书的公钥密码体制来克服密钥托管问题;对于群组中不合法车辆的撤销问题,采用布隆过滤器快速、低存储的特性来对撤销的车辆信息进行公布,避免以往使用撤销链表时所需的巨大存储开销和认证时延.仿真发现所设计的方案在计算时延和传输开销方面都优于现存方案.     

联合可逆可见水印与数字指纹的文档图像版权保护方案

为有效保护数字文档图像版权,设计了一种新的文档图像版权保护方案,利用可逆可见水印权衡文档共享与版权保护之间的矛盾,依靠用户身份信息的数字指纹追踪认证用户泄密行为。仿真实验表明,该方案具有较高的隐秘图像质量和可见水印清晰度,可应用于数字文档图像版权保护实践之中。     

基于身份的跨域直接匿名认证机制

针对现有DAA方案存在计算开销大和无法满足跨域匿名认证需求的不足,本文提出基于身份的直接匿名认证机制,采用代理签名和直接匿名证明技术实现移动互联网下可信移动平台(TMP)的跨域匿名认证;验证者基于签名的合法性完成对TMP平台的真实性鉴别,并在认证过程中协商了会话密钥,增强了跨域证明系统的安全性;同时基于CK模型的安全性证明表明本文机制是可证安全的.分析显示,本文机制具有匿名性、无关联性和高性能等性质的同时,能够抵抗平台的伪装攻击、替换攻击和重放攻击等敌手攻击行为,其性能更适用于移动互联网等无线网络环境.     

钙钛矿太阳能电池国际战略规划及发展态势分析

本文全面调研了美国、欧盟、日本及我国在钙钛矿太阳能电池领域的战略规划和项目部署情况,并基于权威机构认证数据,总结了钙钛矿太阳能电池研究最新进展,比较了各国技术实力。研究发现,各国都重视钙钛矿太阳能电池这一新兴技术,积极部署基础研究并推动其实用化和产业化;钙钛矿太阳能电池研究单元效率已突破23%,稳定性和大规模制备技术不断提高;我国在基础研究方面已经后来居上,创造了研究单元效率纪录,但在大规模印刷制备技术方面与美、欧、日等国家或地区还有一定差距。基于此,本文对我国发展钙钛矿太阳能电池以及钙钛矿材料提出了三点建议。     

天宫一号整体壁板式密封舱结构技术

2011年9月,天宫一号目标飞行器发射升空,于2011年11月、2012年6月和2013年6月与3艘载人飞船完成3次交会对接,航天员两次进入实验舱生活和工作.实验舱是目前国内首个在轨工作2年以上的载人密封舱,该密封舱首次采用整体壁板式结构.本文分析了长寿命载人密封舱结构设计约束条件,通过不同结构形式的比较,提出了密封舱采用整体壁板结构,介绍了壁板结构设计准则和研究内容.该项设计技术的突破为我国未来大型长寿命载人航天器,尤其是载人空间站结构奠定了基础.     

天问一号火星进入、下降与着陆系统设计与实现

首先针对天问一号火星进入、下降与着陆过程任务形式和工作环境,分析了在系统设计和地面验证方面的技术特点与难点;然后介绍了天问一号探测器完成进入、下降与着陆过程涉及的系统组成和主要构型,对大气进入前飞行、气动减速、降落伞减速、动力减速与着陆缓冲五个阶段以及着陆区选择过程的设计方案、地面仿真与试验验证情况进行了探讨;最后给出了在轨实际飞行结果,验证了系统设计的正确性.     

基于三维Arnold变换的图像加密算法

基于三维Arnold变换,提出了新的数字图像加密算法。首先利用采用一雏分段线性混沌系统产生一次一密的密钥,然后利用三维Arnold变换对图像进行置乱。这种置乱是依赖于密钥的。进行通过一种依赖于密钥的替代和混淆使置乱后图像的像素灰度值改变并产生互相依赖,即将每一像素值扩散到其它像素中去。实验仿真和分析表明,该算法密钥空间大,算法易于实现,能抵抗差分攻击、统计分析和明文攻击。     

基于等效信道的物理层认证和密钥分发机制

现有基于无线信道特征的物理层安全方法通过检测发送方的导频信号实现身份认证,易出现漏检．本文提出基于等效信道的物理层认证及密钥分发机制,利用多个时隙的信道特征对任意密钥进行加密传输建立等效信道,将信道特征的差异映射为传输畸变．依据密钥传输的正确性判断收发两端信道特征互信息的大小,从而在完成密钥的分发的同时实现发端身份认证．分析及仿真说明该机制密钥分发性能与现有方法相当,同时可以在不同空域信道相关性很强的情况下识别出窃听者的攻击．     

多媒体取证

多媒体取证是信息安全领域的重要研究内容之一,主要应用于司法取证、刑侦取证,是电子证据鉴别等领域中的关键技术之一．目前篡改媒体内容大量涌现,严重危及个人隐私与社会稳定,多媒体取证已成为一项迫切需求的技术．本文概要介绍了多媒体取证技术的特点和原理,并且从媒体源辨识、内容篡改检测、处理历史分析、反取证四方面阐述多媒体取证的发展现状和趋势,分析了各种取证技术所面临的难点．最后展现了未来技术发展的若干问题与可能趋势．     

Structural realism versus deployment realism: A comparative evaluation

In this paper I challenge and adjudicate between the two positions that have come to prominence in the scientific realism debate: deployment realism and structural realism. I discuss a set of cases from the history of celestial mechanics, including some of the most important successes in the history of science. To the surprise of the deployment realist, these are novel predictive successes toward which theoretical constituents that are now seen to be patently false were genuinely deployed. Exploring the implications for structural realism, I show that the need to accommodate these cases forces our notion of “structure” toward a dramatic depletion of logical content, threatening to render it explanatorily vacuous: the better structuralism fares against these historical examples, in terms of retention, the worse it fares in content and explanatory strength. I conclude by considering recent restrictions that serve to make “structure” more specific. I show however that these refinements will not suffice: the better structuralism fares in specificity and explanatory strength, the worse it fares against history. In light of these case studies, both deployment realism and structural realism are significantly threatened by the very historical challenge they were introduced to answer.     

内蒙古吉林郭勒二号露天煤矿真三维实体模型构建

内蒙古吉林郭勒二号露天煤矿真三维实体模型是数字矿山的一个应用。以AutoCAD作为平台,根据露天煤矿现场实际测量数据1：1比例进行数字建模。通过运用AutoCAD的图形绘制、处理和三维可视化显示技术,形象、立体地展现矿山工程的空间数据规律,为露天煤矿的准确、安全、高效生产发挥着重要作用。     

基于地理信息服务的数字校园系统设计与实现

从当前高校空间布局分散、功能划分复杂、人员往来密集的现状出发,以地理信息网络服务的理论与技术为基础,研究了数字校园系统的设计与实现,以解决校园中空间信息使用和共享问题。从数据准备、系统设计到实现等环节,提出了诸多新思路、新方法,并结合实际应用情况对其进行了一系列优化,最终成功完成了数字校园系统建设,为今后三维数字校园系统的发布作了铺垫。     

直方图均衡化在图像增强中的应用及实现

图像增强是数字图像的预处理,能有效地改善图像的整体或局部特征.直方图均衡化是图像增强领域的一个重要方面.本文研究并探讨了直方图均衡化的基本原理,给出了相关推导公式和算法 并且,以一个灰度图像为例,用Matlab语言工具实现了直方图均衡化增强处理,给出并分析了实验结果.实验结果表明,直方图均衡化能有效地改善图像的对比度并增加像素的动态范围,从而增强了图像.     

基于虚拟样机技术的宽幅数字喷墨打印机协同仿真研究

针对宽幅数字喷墨打印机设计要求,基于ADAMS和MATLAB,联合建立了打印机协同仿真虚拟样机模型.对比试验显示喷印头速度误差在0.8％以内,吻合度较好.结果表明,该方法有效可行,为打印机的优化、样机的试制,提供了技术依据和现代化方法.     

How uncertainty can save measurement from circularity and holism

Measurement results depend upon assumptions, and some of those assumptions are theoretical in character. This paper examines particle physics measurements in which a measurement result depends upon a type of assumption for which that very same result may be evidentially relevant, thus raising a worry about potential circularity in argumentation. We demonstrate how the practice of evaluating measurement uncertainty serves to render any such evidential circularity epistemically benign. Our analysis shows how the evaluation and deployment of uncertainty evaluation constitutes an in practice solution to a particular form of Duhemian underdetermination that improves upon Duhem's vague notion of “good sense,” avoids holism, and reconciles theory dependence of measurement with piecemeal hypothesis testing.