形式化验证基于可认证网络编码的网络传输协议安全性,孙智勇,杨铭熙,网络编码通过网络节点对传输信号的编码处理,可以提升网络信息吞吐量、节约网络资源和减少转发次数。但是在构建网络编码的过程中