基于协议分析状态机的入侵检测系统

协议分析状态机是提高协议分析正确性的重要保证，将其应用于入侵检测系统是一个新的研究应 用方向，协议的形式化描述工具有穷状态自动机。通信有限状态自动机。在此基础上重点讨论了使用协议 状态机分析入侵事件的相关算法及流程.设计了基于协议分析状态机的入侵检测系统的总体框架，提出了 该状态机的面向对象的模型，使该系统具有良好的可扩展性和通用性，测试结果验证了这一思想的正确性 和有效性。     

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

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

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

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

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

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

英国“脱欧”之后，与欧盟的关系如何安排

<正>2020年1月31日,英国正式"脱欧",结束了长达47年的欧盟成员国资格,欧盟27国"开启新的篇章"(欧盟委员会主席冯德莱恩语),英国"进入黄金时代"(英国首相约翰逊语)。在其后的11个月里,英欧将就彼此关系的未来安排特别是自由贸易协议展开谈判。重获"主权"的英国坚持"走自己的路",同时致力于争取更多的"特殊待遇";欧盟为防止家门口     

阿富汗人内部谈判正式启动

<正>9月12日,阿富汗政府代表与塔利班代表在卡塔尔首都多哈正式启动阿富汗人内部谈判,并成立了"接触小组"以保持密切沟通。"接触小组"已经至少举行五轮会议,就阿人内部谈判的日程安排、指导原则等展开讨论。这是继2月29日美国与塔利班达成和平协议之后,阿富汗和平进程取得的又一进展。     

以色列外交突围取得重大进展

<正>9月11日,巴林国王哈马德·本·伊萨·阿勒哈利法与美国总统特朗普和以色列总理内塔尼亚胡实现三方通话,哈马德同意与以色列实现关系正常化。由此,继阿拉伯联合酋长国之后,巴林成为第二个与以色列达成和平协议的阿拉伯国家。此前的8月13日,阿联酋外交部发表声明称,同意与以色列实现关系全面正常化。     

基于一种七量子比特混态的四方量子操作分享

本文考虑七量子比特Brown态中两个量子比特发生混淆后的量子态作为量子通道,提出了一个四方量子操作分享方案.文中讨论了该方案的安全性、成功几率性、分享者对称性和实验可行性.研究发现,该方案是安全的,可确定性地分享任意单量子比特操作,三个分享者中有两者是对称的,根据当前实验技术该方案切实可行.将本文方案与目前仅有的四个四方量子操作分享方案进行了简单的比较,发现本文方案在量子通道和量子比特布居上都与它们的不同.值得一提的是,本文方案是首个基于量子纠缠混态的量子操作分享方案.     

校园网中基于ARP协议的欺骗及其预防

针对目前校园网内流行的ARP病毒,分析了ARP病毒的欺骗原理,给出了预防ARP欺骗的具体方法.     

IPv4向IPv6过渡的策略分析研究

简要介绍了IPv4和IPv6,指出了从IPv4向IPv6过渡的必然性,分析了三种基本的过渡策略,并指出了各自的优势和局限。