技术协议论文

安全协议形式分析的理论与方法综述

一、安全协议形式化分析理论与方法研究综述（论文文献综述）陈焕新[1]（2021）在《基于Fabric的公平合同签署协议及其形式化验证研究》文中研究说明保证交易的公平性对于解决网...
广域污染源水质自动监测系统研究

一、广域污染源水质自动监控系统研究（论文文献综述）陈泳艺[1]（2021）在《污染源自动监控的应用及问题探究》文中研究指明环保部门的常规污染监测手段和传统的污染监控模式已经无法...