IBS协议的形式化分析与验证

安全协议的形式化分析方法有许多,但都普遍存在一些问题,本文介绍了一种在C P N模型基础上改进的形式化方法FOCPN,并且利用该方法对IBS协议进行了实验仿真分析,主要针对其不可否认性和可追究性进行了验证,实验结果显示该方法可以有效验证出I B S协议的特性。

当代世界知识产权政策的生成背景与动因分析--以TRIP s协议为中心

以TRIP s协议为主要法律依据的当代世界知识产权政策的背景与动因,主要表现在三个方面:其一,信息技术革命和生物技术革命为其提供了技术背景;其二,"知识经济"形态和跨国公司"U"形价值链的商业模式构成其经济基础;其三,发达国家的"利益集团政治"和"寡头霸权"型全球治理架构则构成其政治条件。在上述背景下形成的当代世界知识产权政策,其正当性和合理性当存在一些疑问。

基于串空间模型的改进性N-S协议的分析

针对缪祥华提出的改进的Needham-Schroeder协议,利用一种新兴的形式化分析工具——串空间模型对其进行分析。对协议的认证性,包括响应者认证、发起者认证和协议的机密性进行分析,并运用"理想"和"诚实"2个概念简化分析协议的步骤,证明了K,Nb,Nb0是保密的。结果表明改进的N-S协议能够达到协议的安全目标,并与缪祥华分析的结果一致。

改进的无线Mesh网路由判据算法及其路由协议

为了改善802.11s无线Mesh网传输过程中因重传次数过大而造成的丢包问题,根据实际无线传输中的网络重传次数特性,提出一种基于最大重传次数的空中传播时间改进路由判据算法.同时为了缓解因单根节点造成的网络拥塞,提高实际场景中边缘节点的传输性能,并保证网络中所有节点使用无线信道资源的公平性,基于树的寻径机制从拓扑结构的角度,提出一种改进的多根节点的混合无线Mesh网路由协议(M-HWMP).理论及仿真结果表明,改进的路由判据算法及路由协议优化了无线Mesh网传输不同数据流时的吞吐量、时延特性,并在一定程度上避免了网络拥塞.

无线传感器网络S-MAC协议性能研究

提出一种二维Markov链模型用于S-MAC协议的性能分析与评价。该模型利用信号流图和母函数的方法分析S-MAC协议的介质访问控制(MAC)服务时延,结合M/G/1/K排队模型分析S-MAC协议在非饱和负载下的性能。仿真实验和数值分析结果证明该模型可以较好地描述S-MAC的接入方式。

西门子S7-200以太网通讯协议研究

西门子S7-200 PLC网络模块采用S7协议通讯,本文分析S7协议的内容与帧格式,其目的是能够让客户自己编写程序,用自己的socket程序通过以太网读写西门子S200 PLC区数据。本文对要通过编写程序读取S7-1200、S7-300、S7-400的读者也有帮助。

一种西门子S7私有协议的Fuzzing漏洞检测方法

私有协议不公开协议规约,构建Fuzzing的测试用例比较困难。针对此问题提出了一种西门子S7私有协议的Fuzzing漏洞检测方法。设计了针对私有协议S7模糊测试的字段分类测试方法和多字段关联测试方法,以及测试用例模块中变异字段生成算法;同时,为了使漏洞检测方法具有更好的泛化性,对不同的工控设备编写了独立嗅探脚本,使用SQLite建立了适用的CVE漏洞数据库。测试结果证明,该方法可扫描使用S7以及S7更高版本S7Comm plus协议的多种型号PLC,并输出其漏洞信息,且相较于通用漏洞扫描工具OpenVAS具有更高的效率。

高抗干扰的S通讯协议收发器

“S网络”是一种高性能、高精度和具有非常突出的高抗干扰能力的通用工业实时测控网络 ,在我国应用较多 ,但其内部工作原理却很少公开 ,因而专门介绍了“S网络”的收发器工作原理及其特性 ,为用户维修提供方便 ,也为新型网络协议的开发提供参考。

基于S7协议通信的自动生产线拆装与调试实训装置改造研究

提出了一种基于S7通信协议的自动生产线拆装与调试实训装置改造研究,该方案以S7-1200 PLC为一级主站,西门子TP170B为二级主站,S7-200 Smart PLC、变频器V20为从站。重点研究了主站与各从站的通信方式。

无线传感器网络中的S-MAC协议性能

为了研究无线传感器网络中S(Sensor)-MAC的协议性能以及协议参数的变化对协议性能的影响,提出了基于马尔可夫链的分析模型.根据S-MAC协议中的退避机制建立了一维马尔可夫链,以研究网络中单个节点的行为;根据协议的周期特性研究了整个网络的行为,从而计算协议在不同占空比下的能耗、吞吐量和时延.仿真结果表明:分析模型能够准确地评估S-MAC协议的各项性能,定量分析能耗和其他性能之间存在的权衡问题,并为如何选取合适的协议参数提供了理论依据.

基于LSTM的S7协议模糊测试用例生成方法

基于传统模糊测试框架的S7协议模糊测试技术存在构造困难和代码覆盖率低的问题,对测试效率和质量产生很大影响。借助神经网络模型对数据较强的学习能力和预测能力,提出一种基于长短期记忆(LSTM)神经网络的S7协议模糊测试用例生成方法。将S7协议中的特征值字段分为可变字段和不可变字段,对可变字段进行模糊处理,对不可变字段做固定值操作,进而利用局部模糊实现对S7协议帧各字段的模糊分析,生成有效的测试用例。经过学习,模型可以提取到西门子S7协议的特征,自动产生满足协议结构的测试用例。实验对不同字段进行局部模糊,结果表明,该方法预测出的数据具备真实测试用例的特征,可生成大量对特征字段关联性较大的有效测试用例,提高代码覆盖率。

基于SIMI模型的S7协议的实时异常流量检测方法

S7协议在通信过程中存在着脆弱性,使得工业生产通信过程容易受到攻击,造成极大的安全隐患。为了解决这个问题,提出一种基于SIMI的S7协议异常流量检测方法。首先分析了S7协议的特征以及脆弱性;然后,提出一种基于SIMI的S7协议实时异常流量检测方法,该方法在流量状态特征关联性分析的基础上,利用SIMI算法的分类特性对S7协议异常流量实时状态进行有效识别和分类,构建出S7协议异常流量状态的知识图谱;最后,通过模拟实验验证了方法的有效性。通过分析,算法的计算复杂度显著降低。

基于S6700多协议收发器芯片的门禁管理系统的设计

为解决现有门禁系统使用不便和易被损坏的问题,提出一种基于RFID技术(Radio Frequency Identification)的门禁系统设计方法。该系统采用TI公司S6700多协议收发器芯片、高性能MCU和其他外围电路作为读卡器,TI公司的Tag-itHF-I作为电子标签。通过软件部分和数据库的设计对进出人员信息进行管理。该系统成本低,效率高,安全保密性好。

一种面向S7协议的工控系统入侵检测模型

随着"中国制造2025"战略的提出,工业控制网络和互联网技术的融合程度也越来越高,同时工业控制网络的封闭性在一定程度上被打破,使得工业控制网络安全问题日益严重。S7协议是德国西门子公司的私有协议,广泛应用于工控网络的通信过程中。文章提出一种基于深度解析和白名单自学习的工控复合入侵检测模型,该模型利用深度解析算法实现对S7协议包的解析,通过白名单自学习算法动态构建白名单,采用白名单检测和异常行为检测相结合的复合入侵检测方法来检测异常。实验证明,该方法能有效检测出工业控制网络中异常的S7协议包,在5000个/s的发包速率下检测精度可达到98.3%。

西门子S7协议研究及基于嵌入式平台的驱动开发

S7协议是西门子专有协议,是一个通信协议族,支持西门子SIMATIC系列所有控制器。对应用广泛的基于以太网和RFC1006标准的S7通信协议进行了研究。分析了S7通信建立的过程、S7协议报文的帧结构,并基于ARM+Linux嵌入式平台设计开发了S7协议驱动程序,实现了对西门子S7-1500 PLC数据的读写操作。该研究为工程领域开发第三方应用程序与西门子控制器双向数据通信提供了参考。

基于FPGA和B61580S3的1553B总线RT/MT功能的设计与验证

1553B总线协议因具有优越的实时性、高度的数据可靠性以及可同时挂载多个终端等优势,在国内航空航天领域的电子交互网络中得到广泛使用。文中基于B61580S3协议芯片内置的16位缓冲模式实现了MIL-STD-1553B总线功能。采用VHDL硬件描述语言为FPGA设计了总线接口控制电路,通过FPGA对协议芯片的控制以及协议芯片内部数据自动解析和强大的中断机制,实现了RT/MT功能;通过测试台上位机软件对设计的1553B总线接口的测试与验证,结果表明接口设计可靠,传输误码率低,有较高的应用价值。

防止网络ARP欺骗攻击的S-ARP协议

传统的IP-ARP协议缺乏基本的认证与完整性检查措施,导致ARP欺骗的安全攻击相当流行。S-ARP协议试图对传统的IP-ARP协议进行简单扩展并实现,主要通过对ARP报文进行认证及完整性检查措施来防止ARP欺骗攻击。该协议具体实现的方法是在内网PC机上安装一个包含S-ARP协议的客户端软件,同时,在路由器上也添加了相应的协议模块,使ARP的广播报文是在有安全认证机制下进行各个结点之间的ARP类的信息交换,而ARP病毒软件发出的欺骗类的ARP报文不含有认证信息会被丢弃,自然也就无法产生影响了。

基于S7协议的PC与828D实时通信设计与实现

在分析西门子数控系统828D的S7-200/S7-300网络通信协议原理基础上,设计了一种基于S7协议的通信方法,可对828D的PLC变量、NC变量、R变量和刀具信息进行访问,以及检测其断开状态,实现了低成本方式获取系统的数据,有助于车间柔性制造系统(FMS)的建立。

802.1s多生成树协议在模拟器中的仿真

802.1s多生成树协议是现今网络中使用最广泛的一种防止二层交换环路的协议。使用802.1s多生成树协议既避免了单点故障引起的网络中断,又为网络业务流量提供了冗余备份路径,提高了网络的可用性和容错性。为了在缺少交换机等网络设备的情况下对802.1s多生成树协议进行学习和研究,本文利用eNSP模拟器软件设计了802.1s多生成树协议的仿真实验,并在该仿真环境下进行调试。仿真结果表明,802.1s多生成树协议能通过多实例的方式实现链路冗余备份和流量负载分担。

Linux内核中IEEE802.11s的设计与实现

在Linux内核(2.6.35.4)中对IEEE802.11s协议进行设计与实现,包括其在内核中的位置、组织结构、设计特点、主要功能、与其他各层的互操作、work_queue内核机制在其实现中的应用等。分别针对IEEE802.11s的不同功能模块阐述其设计思路和工作流程,并对其关键实现部分的数据结构和函数进行介绍和分析。