网络协议的形式化分析

网络协议的形式化分析网络协议的形式化分析网络协议的形式化分析【1】摘 要：随着形式化方法和技术的日趋完善，网络协议的开发已逐步从非形式化描述、手工方法实现过渡到已形式化描述技术为基础，渗透到网络协议分