苏州大学学报(自然科学版)
囌州大學學報(自然科學版)
소주대학학보(자연과학판)
JOURNAL OF SUZHOU UNIVERSITY(NATURAL SCIENCE)
2008年
1期
54-59,64
,共7页
TCP%Promela%Spin%模型检测
TCP%Promela%Spin%模型檢測
TCP%Promela%Spin%모형검측
网络协议簇中,传输控制协议TCP是最重要的协议之一,提供面向连接的可靠传输服务.采用Promela描述TCP建立连接和可靠数据传输,并用模型检测工具Spin,验证TCP三次握手协议的安全性与可靠数据传输协议活性的属性.
網絡協議簇中,傳輸控製協議TCP是最重要的協議之一,提供麵嚮連接的可靠傳輸服務.採用Promela描述TCP建立連接和可靠數據傳輸,併用模型檢測工具Spin,驗證TCP三次握手協議的安全性與可靠數據傳輸協議活性的屬性.
망락협의족중,전수공제협의TCP시최중요적협의지일,제공면향련접적가고전수복무.채용Promela묘술TCP건립련접화가고수거전수,병용모형검측공구Spin,험증TCP삼차악수협의적안전성여가고수거전수협의활성적속성.