复杂协议相关论文
网络作为信息的一个重要载体,其安全性是整个信息基础架构的安全基础,而网络的安全性离不开安全的网络协议.因此,网络安全协议本身......
形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于Promela语言,将P.......
为了使战术协同中海、陆、空三军之间具有良好的互通能力,便于大量分散配置的战术分队、飞机、舰艇及有关指挥中心能相互通信,共享......
现代战争特点是成体系作战,单一武器性能的检验试验已不符合潮流。检验武器装备体系对抗能力成为试验的关键,为了更好地完成海军武......
以一个具体工程项目为实例,分析了PLC之间通信的几种方案,介绍了基于PROFIBUS现场总线的PLC网络的构成以及PLC通信的实现.......
