排序方式: 共有4条查询结果,搜索用时 62 毫秒
1
1.
2.
3.
流控制传输协议(Stream Control Transmission Protocol, SCTP)是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描述和验证。赋时层次着色Petri网适用于从动态角度对复杂系统进行建模,并能够用形式化的方法进行验证分析。因此,采用基于事件和基于状态的建模方法,提出了SCTP连接的赋时层次着色Petri网模型,该模型考虑了网络时延和丢失以及重传机制。通过CPN Tools分析,验证了SCTP连接过程的预期性质,并在RFC4960中描述的SCTP连接过程中发现了两类死锁问题。 相似文献
4.
在基于对STUN协议方案分析研究的基础上,本文提出一种更灵活的基于SIP的NAT穿越方案——S-STUN,该方案通过简化和改进现有协议STUN,实现了SIP对各类型NAT的穿越,解决了原STUN无法穿越对称型NAT的问题。 相似文献
1