论文研究-形式化验证基于可认证网络编码的网络传输协议安全性 .pdf

【文件属性】：

文件名称：论文研究-形式化验证基于可认证网络编码的网络传输协议安全性 .pdf

文件大小：313KB

文件格式：PDF

更新时间：2022-09-04 09:51:36

可认证网络编码

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