网络协议簇中,传输控制协议TCP是最重要的协议之一,提供面向连接的可靠传输服务。采用Promela 描述 TCP建立连接和可靠数据传输,并用模型检测工具 Spin,验证 TCP三次握手协议的安全性与可靠数据传 输协议活性的属性。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~