工业协议
工业协议技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
工业协议 全部资料 500 份
串行通信协议-can总线协议
CAN 是 Controller Area Network 的缩写，是 ISO 国际标准化的串行通信协议。CAN总线有两个ISO国际标准：ISO11898 和 ISO11519。ISO11898 定义了通信速率为 125 kbps～1 Mb...
2022-03-24
2
基于GSPM的安全协议检验工具
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
2023-12-20
7