基于WAPI的WLAN与3G网络安全融合

以3G和WLAN为代表的异构无线网络融合是下一代无线网络发展的必然趋势.安全融合是网络融合面临的主要挑战之一,如何融合不同接入网络的异构安全体系结构、统一用户管理是亟待解决的问题.针对3G与基于WAPI的WLAN之间的安全融合问题,提出了新的基于USIM的证书分发协议,给出了松耦合和紧耦合两种安全融合方案,统一了3G安全体系与WAPI的用户管理,实现了3G签约用户基于WAPI安全机制的网络接入以及身份隐私保护.利用CK模型分析了证书分发协议的身份认证和匿名性,结果表明该协议是可证明安全的.

基于身份的异构无线网络匿名漫游协议

分析了一种基于身份的认证模型的安全缺陷,指出该方案存在身份伪装攻击,无法实现用户身份认证。提出了一种改进方案用于实现异构无线网络匿名漫游。与原方案相比,改进之处主要体现在2方面:第一,弥补了原协议的安全缺陷,并且在CK模型下是可证明安全的;第二,简化了协议流程,提高了协议的效率。

稀土——过渡族金属非晶态磁光材料信号读出特性研究

在计算RE-TM饱和磁化强度和温度关系曲线的基础上,本文建立了一种适用于计算磁光光盘读出信号质量与读出激光功率关系的方法,对经优化的四层膜结构实例给出了最佳读出激光功率,并讨论了稀土含量变化时,对最佳读出激光功率和信噪比的影响,结果与有关的实验规律相吻合。

可证明安全的可信网络连接协议模型

该文作者发现可信计算组织TCG提出的可信网络连接架构存在安全缺陷,攻击者利用这一缺陷可以发起一种平台替换攻击,攻击将导致可信网络连接过程中平台身份认证的失败和平台完整性校验错误.针对这一情况,文中形式化地给出了可信网络连接协议的安全目标.在此基础之上,为了使协议的设计和分析更具一般性和安全性,提出一种可证明安全的可信网络连接协议模型(TNC-PS),通过模型中的绑定器,可将理想环境下设计的完整性评估层协议,转化为实际环境下安全性相同的等价协议.从而在保持可信网络连接架构不变的基础上,避免其安全缺陷造成的影响.最后,利用TNC-PS模型设计了一个完整性评估层协议,该协议能够满足可信网络连接协议的安全目标.

安全协议的博弈论机制

在博弈论框架下,基于纳什均衡设计安全协议的计算和通信规则.首先,提出安全协议的扩展式博弈模型,结合通用可组合安全的思想给出安全通信协议博弈参与者集合、信息集、可行策略、行动序列、参与者函数、效用函数等定义;在该模型下的安全协议能安全并发执行.其次,根据博弈的纳什均衡给出安全通信协议的形式化定义.最后,基于该机制给出一个安全协议实例,并分析该安全协议博弈机制的有效性.

新的云存储文件去重复删除方法

去重被广泛地应用于云存储服务中以节省带宽和存储资源,然而,客户端去重复化删除中仍存在安全缺陷,使外部攻击者可访问用户私有数据。基于密文的跨用户的去重复化删除方案Xu-CDE被首次提出,该方案支持在外部攻击者和诚实且好奇的服务器同时存在的场景下保护数据隐私,具有良好的理论意义和代表性。然而该方案中的用户所有权认证凭据缺乏实时性保护,以致不能抵抗重放攻击。针对该缺陷,提出改进方案云存储中基于MLE与随机数改进的客户端密文去重(MRN-CDE),引入随机因子以保障认证凭据的实时性,并利用MLE-KP算法通过原始文件提取密钥代替用文件本身作为加密密钥,在提高安全性的同时大大降低了运算量。经过安全性分析与测试,结果表明,所提出的改进方案MRN-CDE在Xu-CDE方案的基础上,不仅增强所有权认证的安全性,而且在时间效率上也有所提高,对于云端大文件的文件去重效果尤其佳,具有一定的应用价值。

无线移动网络跨可信域的直接匿名证明方案

基于信任委托的思想,提出一种移动环境下的跨可信域的直接匿名(direct anonymous attestation,简称DAA)证明方案,采用代理签名技术和直接匿名证明方法,实现对移动终端在多可信域之间漫游时的可信计算平台认证,并在认证过程中协商会话密钥,增强了远程证明体系的安全性.利用Canetti-Krawczyk(CK)模型对方案的认证协议的认证安全性和匿名安全性进行了形式化分析和证明.分析表明,该方案能够抵抗平台伪装攻击和重放攻击,其性能适用于无线网络环境.

一种无线传感器网络隐私保护数据聚合方案

隐私保护是基于无线传感器网络(wireless sensor networks,WSNs)的数据聚合技术中最具挑战性的安全问题之一.在WSNs环境中,现有的隐私保护数据聚合机制不能同时满足安全性及节能性要求,存在计算复杂、通信量大及安全性低等缺点.提出一种能量有效的、抗数据丢失的隐私保护数据聚合方案,该方案利用2次不同形式的数据扰动同时实现了数据对基站及网内其他节点的隐私保护.首先,从防止基站入侵角度,给出了初次扰动数据设计方法;在此基础上,为实现对邻居节点的隐私保护,提出二次扰动数据的构造方法,并给出中间聚合节点及基站的聚合验证操作流程.通过引入消息认证码技术,有效抵御了多种外部攻击.安全及性能分析表明,该方案可在不过多消耗节点能量的前提下保证节点的安全性,且具有较好的抗数据丢失能力,安全性及能效性均优于现有方案.

无线传感器网络中匿名的聚合节点选举协议

提出一种分簇无线传感器网络中匿名的簇头选举协议。给出了匿名簇头选举的判定规则及成簇模式,并采用基于双线性对的匿名否决协议对选举结果进行验证以保证存在节点成功当选。设计了相应的匿名数据聚合方案,无需泄露节点身份信息即可完成聚合。分析及仿真结果表明,协议同时实现了簇头选举的匿名性、高效性及安全性,可有效抵抗窃听攻击、节点妥协攻击及合谋攻击等恶意行为。

介质独立信息服务的匿名访问协议

针对异构网络环境下介质独立信息服务(MIIS)的匿名访问需求,提出了一种MIIS匿名访问协议。协议中用户和信息服务器在家乡网络服务器的辅助下,既能实现双向认证,也能保护用户的隐私性。提出的协议与已有协议相比具有较好的性能,并且在CK模型下是可证明安全的。

3G-WLAN融合网络的票据认证协议

针对第三代移动通信网(3G网络)与无线局域网(WLAN)融合网络接入的安全和效率需求,提出一种基于漫游票据的本地化认证协议.该协议借助介质独立信息服务发现移动用户所在位置附近的WLAN网络,预先确定可能的目标网络并向家乡网络请求漫游票据;移动用户在接入目标WLAN时,利用相应的漫游票据实现快速安全的接入认证.最后在Canetti-Krawczyk模型下证明了该协议的安全性.仿真实验结果表明,该协议认证延迟短,消息传递少.

新型脂肪酸钐系列四元配合物的合成及其荧光性能

以钐(Sm)为中心离子,二苯甲酰甲烷(DBM)为主配体,脂肪酸[顺丁烯二酸(MA),油酸(OA)和月桂酸(LA)]和邻菲罗啉(phen)[或丙烯腈(AN)]为协同配体,经配合反应合成了一系列新型的脂肪酸钐系列四元配合物——Sm-(DBM)2-MA-phen,Sm-(DBM)2-OA-phen,Sm-(DBM)2-LA-phen,Sm-(DBM)2-MA-(AN)2,Sm-(DBM)2-OA-(AN)2和Sm-(DBM)2-LA-(AN)2,其结构和性能经UV,FL,IR,元素分析和TG表征。结果表明,在350 nm波长激发下,配合物发出以钐的特征发射谱线(644 nm左右)为主的强荧光。协同配体向钐离子传递光能的能力顺序为:AN>phen。

施主掺杂浓度对PTC陶瓷材料导电性能和微观结构的影响

本文研究了施主Nb掺杂BaTiO_3PTC陶瓷的微观结构和导电性能。总结了材料电阻、介电、复阻抗、电流电压关系、耗散等特性及微结构随施主浓度变化的实验规律。

加拿大赫卡特海峡三维水动力模拟研究

基于非结构化网格有限体积方法的FVCOM(Finite Volume Community Ocean Model)模式,建立了加拿大赫卡特海峡三维水动力模型。模拟结果与实测资料比较表明,采用TPXO 7.2全球潮汐模型的潮位和HYCOM全球模拟的洋流作为开边界驱动条件时,模型能较合理地反映赫卡特海峡的水动力结构及其变化特征。对于受洋流影响的海域,局部海区水动力模拟在开边界采用潮位和洋流双重驱动是较合理的选择。

3-甲氧基-4-苄氧基苯乙胺盐酸盐的合成

以香草醛为原料,先与溴苄合成苄醚,再与硝基甲烷缩合,经NaBH4/BF3.Et2O还原得相应的芳基乙胺,最后与氯化氢的乙酸乙酯溶液成盐,合成了目标产物3-甲氧基-4-苄氧基苯乙胺盐酸盐。考察了缩合反应的投料比、反应温度和反应时间,还原反应的还原剂用量和反应时间对反应收率的影响。优化后4步反应的总收率为79.4%,产品经ESI-MS和1HNMR确证了结构。

一般人格权冲突下的法院利益衡量

在一般人格权的法律保护中经常涉及到权利主体之间的权利冲突,即双方都在行使自己的合法权利,但是却造成了权利损害的事实,因而法院在进行权利保护和权利救济的过程中,不再是以一种单一的法律适用的逻辑推理即可得出决断,必须进行利益衡量,根据个案进行价值判断。

商业秘密保护法若干内容之构想

我国正在酝酿制定商业秘密保护法,为此,本文对商业秘密私法保护制度作了系统的考察与探索,并据此对我国商业秘密私法保护制度提出设想。

Arcgis Server的符号化研究

介绍了Arcgis Server和Arcgis Server符号化模块.

人工岛与多工程影响下的潮流动力响应特征

人工岛常与连岛桥、海岸防护等工程构成复杂的人工岛工程系统,科学评估人工岛与多工程对周围海域潮流动力的影响,对海洋空间资源的开发与利用具有重要的指导意义。以海南三亚新机场工程为对象,建立了工程海域潮流数学模型,采用实测的潮位、流速、流向数据对模型进行了验证,模拟研究了人工岛、离岸潜堤和连岛桥等多工程作用下的潮流场响应特性。结果表明:工程海域的主体潮流特征为往复流,人工岛建设后其周围产生绕流,人工岛东北偏北和西南偏南两侧流速增大,西北偏西和东南偏东两侧形成缓流区,流速显著减小;弧形离岸潜堤修建后,其南北两侧由于绕流作用流速增大,弧内与东西两侧因阻水影响流速减小;连岛桥建设对潮流场的影响相对较小,主要表现为连岛桥背流侧的流速总体减小,而在人工岛与离岸潜堤的部分掩护区域,连岛桥则会导致流速有所增加。总体而言,在人工岛、离岸潜堤和连岛桥的共同作用下,工程海域潮流动力的时空变化将更为复杂,工程对不同位置处水流运动的影响规律存在明显的差异。

BIM技术在水运工程造价中的应用特征

文章从两个方面对BIM技术在水运工程造价中的应用特征进行了分析和总结。与传统造价计量方法相比,BIM具有计算工程量高效、快捷、准确等优势,能够精确计算某些形状复杂的工程量,但BIM模型自动统计的工程量某些时候不能直接用于定额或清单计价,且造价人员普遍对BIM软件不熟悉,需要大量本地化工作。与建筑工程造价相比,BIM在水运工程造价领域中的应用无论在软件易用性还是多人协作性上均有较大差距,不能实现自动化的算量或导入计价软件。基于上述原因,要在水运造价领域推进BIM的应用需要进一步深化软件开发,解决明细表中工程量的自动计算、定额判断参数化以及自动化数据传递等问题。