USB协议分析
USB协议分析技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
USB协议分析 热门资料
查看全部 500 份 →一种安全协议分析算法研究
研究分析了Athena 自动协议形式化分析算法的原理。该算法能够分析协议的各种安全属性，它基于扩展了的串空间模型，利用了消息间的因果关系，并且结合了定理证明和模型检测方法，能有效地分析安全协议
2024-04-13
8
NSSK协议的串空间模型及分析
本文介绍了串空间模型中的基本概念和定理，并首次利用串空间理论，从机密性和认证性两个方面，对改进的NSSK 协议[1]进行了分析。分析结果表明改进的NSSK 协议是安全的。关键词：安全协
2024-04-29
9
IP协议与因特网可靠性分析
IP协议的工作是提供一种从源端到目的端的传输数据报的最佳尝试方法（也就是，面向无连接的，不可靠的），而用户要求因特网为从源端机到目的机提供可靠的数据传输。IP协议无连接的不可靠性与因特网传输的可靠性是
2023-12-10
6