安全协议抗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.     

区域经济合作重塑国际经贸秩序

过去数十年间,全球经济格局发生了重大变化,世界经济发展"东升西降"、特别是中国经济崛起的态势日益显现。而战后建立的国际经贸秩序,是以西方国家为主导,世界贸易组织(WTO)、国际货币基金组织(IMF)为基础的多边治理框架。进入新世纪以来,WTO多边治理框架越来越显现出"失灵""失效",WTO多边贸易谈判陷入僵局,发展中经济体和发达经济体要求对WTO进行改革的呼声越来越高。     

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

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

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

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

外交小灵通

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

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

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

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

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

基于微服务的数据服务框架设计

为了克服传统数据服务平台协议复杂、体量庞大,在扩展性和易维护性方面都存在的不足,提出了一种基于微服务的数据服务框架.框架分离了微服务容器和服务源,采用轻量级的跨平台协议,在容器中通过两种类型(原生型和代理型)的微服务与服务源中的微服务连接起来,达到解耦合、去中心化和服务泛在的目的.此外还分析了框架的重要特征,阐述了技术方案中的若干要点.北京大学的实践表明:基于该框架建设的数据服务平台,易于扩展、便于运行维护,可以实现更加灵活的数据共享.     

基于Modbus协议的螺丝机HMI系统设计

为了解决早期螺丝机HMI(Human Machine Interface,人机接口)系统显示内容少、操作性差、通用性低等问题,设计了基于Modbus协议的螺丝机HMI系统,通过对Modbus协议的研究,确定了触摸屏作为主机,控制器作为从机,运用RTU模式通信的方案,同时给出了帧间超时时间与定时器装载值的计算式及CRC校验流程。针对遇到的切屏后数据刷新延迟的问题,提出了一种数据预装载附加DMA功能的方法,即利用机器开机时间,提前将所需的数据载入到控制器开辟的缓存中,使得数据地址与界面控件地址直接映射,再启用DMA功能加快主、从设备数据转移速度。在界面设计方面,详述了设计步骤,并引入了组态软件参与设计,有效地缩短了开发周期。本设计已成功应用于实际生产中,长期使用表明系统运行稳定、切屏流畅且界面友好,提高了工件螺丝锁付效率。