基于PSTN的嵌入式水情数据传输系统

介绍一种建立在PSTN上的嵌入式水情数据传输系统的设计方法,该系统以ARM核的32位嵌入式微处理器S3C4480X为硬件平台，采用实时操作系统μC/OS-Ⅱ进行任务的调度和管理，将TCP/IP协议栈嵌入到水情测报仪中，通过电话拨号与网络相连，实现了水情数据的远程传输。     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

网络通信中自定义协议的一种制定方法

通过对各种网络系统及其协议体系的研究,提出了一种自定义协议的制定方法. 该方法定义了一种通用的协议结构,保证协议体系条理清晰,方便管理. 该方法的协议定义思想,使被定义协议具有可拓展性和可复用性. 通过一个示例,详细说明了该自定义协议结构的各个组成部分,以及协议中主要字段的含义和用法.     

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

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

关于对调制解调器的协议和标准的一些看法

本文介绍调制解调器在调制解调和压缩纠错方面一些常用协议标准的技术特征，供选用调制解调器时参考。     

我市与西安市共建科技合作平台

作为全面落实银川市委、市政府与西安市委、市政府达成的共同发展合作框架协议的具体举措，银川市科技局按照市委、市政府的要求，主动出击，精心筹备，在10月25日——27日以自治区党委常委、市委书记崔波为团长的银川市党政代表     

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

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

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

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

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

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

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

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