一个基于活体指纹的用户身份认证协议及其形式化分析

基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析.除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证,有效地抵抗重放攻击,保证认证信息的机密性.并且具有良好的执行效率.     

石油企业科技进步模型的改进

传统技术进步模型在评价科技进步贡献率时 ,没有动态考虑通货膨胀和成本上扬等因素 ,忽视了时间价值的影响。根据石油企业的生产特点 ,对一般技术进步模型 (即索洛生产函数 )进行了相应的改进。既考虑了产出资源的自然递减 ,又考虑了通货膨胀及生产开发难度对投入资金的影响 ,这就保证了石油行业在投入产出上的匹配及价格上的一致。用改进后的模型对石油系统的 19个油田的科技进步贡献率进行了测算 ,其结果符合实际     

博士生导师纪友亮教授简介

黄争鸣，男，1957年7月生，湖北钟祥人。1979年12月毕业于西北电讯工程学院无线电结构设备与工艺专业；1983年1月毕业于华中工学院固体力学专业，获工学硕士学位；1999年8月毕业于新加坡国立大学材料工程专业，获博士学位。现为同济大学航空航天与力学学院“长江学者”特聘教授。     

中美能源合作:有利于重塑世界能源秩序

2017年11月美国总统特朗普访华期间,中美签署超过2500亿美元的商贸合同和双向投资协议,其中能源阱议金额占半壁江山,显示中美能源关系正在扩展与深化,逐渐由过去的“竞争为主、合作为辅”转变为“合作为主、竞争为辅”。     

基于同步变距的输变电线路在线监测WSN路由协议研究

基于先进传感、信息通信的输变电设备运行状态在线监测技术已成为电力系统的发展趋势.输电线路状态在线监测网络具有链状、数据传输量大和传输距离长等特点,能量热区问题显著.为均衡输电线路在线监测中无线传感器网络的能量消耗,提出了一种基于同步变距的全局能量均衡路由算法EBRA-SVD.采取多个子网络方式,缩短数据传输距离,从而缓解长距多径损耗而产生的"能量热区"问题.仿真显示,EBRA-SVD可有效均衡网络能耗,提升网络寿命.     

安全协议抗DoS攻击的形式化分析研究

随着拒绝服务攻击给协议的可用性带来的危害越来越大,需要行之有效的方法对安全协议的抗DoS性进行分析.但是目前对安全协议的抗DoS性进行分析的方法模型都存在一些缺陷,有的只能分析部分的DoS攻击,有的只关注协议各方计算资源的消耗,而忽略了存储资源消耗.针对以上不足,本文对基本的串空间模型进行扩展,引入消息相关度集合和代价函数,提出了一种分析安全协议抗DoS性的新方法,并利用该方法,对JFK协议的抗DoS性进行了详细分析.     

大陆边缘三角洲盆地油气成藏特征类比研究

大陆边缘三角洲盆地一直是油气最为富集的地区之一,世界上很多大的油气区均是分布在三角洲盆地,如西非尼日尔三角洲盆地,东非鲁伍玛盆地三角洲和印尼库泰盆地马哈坎三角洲等。通过对不同类型大陆边缘三角洲盆地油气地质条件的差异性对比研究,明确在不同构造演化阶段发育的三角洲盆地的盆地结构、内部构造样式、烃源岩特征及成藏模式均存在明显差异。其中,漂移期发育的尼日尔三角洲和鲁伍玛盆地三角洲重力滑脱推覆构造体系发育。在裂陷期拗陷阶段发育的库泰盆地马哈坎三角洲重力滑脱推覆构造体系不发育。马哈坎三角洲和尼日尔三角洲盆地的主力烃源岩均来自三角洲体系,以生油为主,具有自生自储,近源成藏的特点。东非鲁伍玛盆地烃源岩为下侏罗统海湾环境海相烃源岩,主要生裂解气,具有阶梯式长距离运移,远源成藏的特点。     

An efficient identity-based key agreement protocol in a multiple PKG environment

Identity-based key agreement protocol affords a natural way to combine the participant’s identity with its public key.However,most of them just consider the key agreement in a single private key generator(PKG)environment.In addition,the existing key agreement protocols have a great computing overhead for mobile computing which is more and more popular today.This paper proposes a new identity based key agreement protocol.With the help of mathematical tools,we make our protocol applied in multiple PKG environment.It also satisfies all the security properties which is set for key agreement protocol.Moreover,some of its time-consuming operations can be delivered to untrusted public computation resources,so its computing complexity can be greatly reduced.     

石油修井安全作业及其安全预防措施

随着石油资源的大量开采,修井作业的工程量不断增加,因为修井作业的工作复杂,本文就如何在修井作业时,保证施工的安全就行了探讨,对具体施工时需要注意安全的地方提出了注意事项和建议。     

人类生物样本库材料转移协议：实践考察与治理探索

在人类遗传研究活动中，人类生物样本库通常与研究者签订材料转移协议，由此对人类生物样本和/或数据的移转、使用目的与方式等相关事项进行具体约定。对人类生物样本库情境中材料转移协议文本的主要内容进行比较，有助于总结和提炼出材料转移协议签订过程中应重点关注的伦理与法律问题。由于材料转移协议关涉诸多利益相关者，其文本涵括人类生物样本和/或数据的提供、接收与存储使用、隐私保护与保密、研究成果的知识产权归属、费用、保证与责任等诸多条款。因此，有必要引入治理理念，材料转移协议既可以作为人类生物样本库的治理工具，又应当作为治理对象得到有效的治理，从而合理界定材料转移协议的功能范围，实现相关主体之间的利益平衡。