校验协议
校验协议技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
校验协议 热门资料
查看全部 500 份 →应用层远程实验室事务协议
针对远程实验室数据传输同步性、实时性的需求，根据远程实验信源的多样性特征，提出一个新的基于事务的网络通信协议DLSP。该协议以TCP/IP 协议为基础，采用虚拟信道复用技术，并引入事务的概念，建立了实
2024-01-11
9
基于GSPM的安全协议检验工具
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
2023-12-20
7