计算机网络协议的安全性与活性验证

计算机通信协议,或简称协议,是管理网络与分布式系统中各种元素(实体与进程)之间交互与通信的一套规则。协议是并行执行的,可能借助不可靠的传送介质进行通信,因此设计正确可靠的协议,对网络与分布式系统具有特别重要的意义。传统的非形式化技术已在许多实际协议的设计和实现中