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

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

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

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.     

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

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

基于局域网ARP病毒攻击与防御措施的研究

ARP欺骗攻击是目前局域网络安全面对的一个主要问题,也是网络安全的一个重要研究内容,文中介绍了ARP协议的工作过程及ARP欺骗的原理,并分析了ARP病毒攻击的几种主要方式,通过对ARP攻击原理的分析,定位ARP攻击源头和病毒机理,讨论了现有防御方法存在的局限性,在现有的防御方法的基础上,提出几种有效的防御方法及解决方案,供相关工作参考。     

外交小灵通

【中国代表团团长出席第七轮伊朗核问题全面协议谈判】9月19日．伊朗核问题六国（联合国安理会五常和德国）及欧盟与伊朗在纽约举行第七轮伊核问题全面协议谈判。中国代表团团长王民大使在接受媒体采访时表示．当前．全面协议谈判形势总体向好。六国与伊都展现出尽早达成协议的政治意愿。     

美国自愿排除和解协议的内涵、特点及启示

签署自愿排除和解协议是美国研究诚信办公室(ORI:Office of Research Integrity)治理科研不端行为的一个特色做法。但迄今为止,未见国内学者对此做过系统性研究。通过对自愿排除和解协议进行文本研究和实践考察,分析了自愿排除和解协议的内涵和特点,提出了对我国的启示,旨在为我国科研不端治理模式创新和治理体系建设提供借鉴和启发。     

提升国际科技合作水平 推进天堂创新发展

<正>推进杭州城市国际化是市第十一次党代会确定的杭州今后一个时期发展的主抓手,是推进杭州全面协调可持续发展的基本路径和重要引擎,也是杭州城市发展到较高阶段的必然要求。城市国际化的一个重要标志是城市科技创新国际化,国际科技合作已成为推进城市国际化的一个重要抓手。随着知识经济的深入发展,科学技术的发展已经超越了国家的界限,不同国家联合起来进行国际科技合作研究的现象越来越普遍。按照联合国教科文组织的定义,国际科技合作就是科技知识的共享,即两个或多个国家或地区的政府、企业、研究机构、个人等在彼此接受的协议基础上,进行知识的交换。国际科技合作形势日盛