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

本文在通用可组合框架（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变换对图像进行置乱。这种置乱是依赖于密钥的。进行通过一种依赖于密钥的替代和混淆使置乱后图像的像素灰度值改变并产生互相依赖,即将每一像素值扩散到其它像素中去。实验仿真和分析表明,该算法密钥空间大,算法易于实现,能抵抗差分攻击、统计分析和明文攻击。     

天问一号火星着陆巡视器推进系统特点及飞行分析

天问一号火星着陆巡视器推进系统的结构质量和尺寸严格受限,针对常规推进系统方案无法满足要求的难题,采用中压双组元推进系统和7055高强度材料壳体推进剂贮箱,实现了轻质、小型化的目标.发动机的室压约2MPa.相对于传统推进系统方案,重量减少约53kg,高度减少约919mm.这是中压双组元推进系统首次在宇航领域应用.本文结合...     

一种高定位精度的安全JPEG图像认证水印算法

分析讨论了现有的JPEG图像认证水印算法存在的定位精度低和安全性差等问题，并实现了对现有认证水印算法的两种伪造攻击．在此基础上，提出了一种高定位精度的安全JPEG图像认证水印算法，推导给出了该算法在一般区域篡改和拼贴攻击下的篡改检测概率和虚警概率，该算法对每个图像块固定选取4个中频系数嵌入水印并利用剩余的DCT系数生成4比特水印信息，然后基于不同密钥分别选取每比特水印信息嵌入的图像块，使得每个图像块的4位水印随机嵌入在不同图像块对应的中频系数中，认证时根据图像块提取出的4比特水印信息并结合其九邻域判定该图像块内容是否被篡改．理论分析和实验结果表明：该算法不仅具有精确的篡改定位精度，而且具有很高的安全性和抵抗拼贴攻击的能力。     

多媒体取证

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

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

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

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.