基于无线通信的ASK协议的建模分析

安全协议的建模分析与设计一般采用形式化的方法进行,这是许多经典安全协议存在的缺陷。因此,文章提出采用形式化验证的方法对一种复杂的无线移动安全协议-ASK协议进行建模和验证,针对ASK协议所存在的缺陷,我们提出了改进之后的协议,并对改进后的协议进行了验证,结果表明,新的协议是安全的,是能够抵御重放攻击的。     

机房专用空调一例气流故障的分析与处理

做好电信机房专用空调的监测与维护,是保证机房内其他通信设备正常工作的基础。介绍一例STULZ MBD662机房专用空调气流故障的分析与处理,供大家参考。