首页> 中文期刊>苏州大学学报（自然科学版） >TCP协议的安全性和活性验证

TCP协议的安全性和活性验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

网络协议簇中,传输控制协议TCP是最重要的协议之一,提供面向连接的可靠传输服务.采用Promela描述TCP建立连接和可靠数据传输,并用模型检测工具Spin,验证TCP三次握手协议的安全性与可靠数据传输协议活性的属性.

著录项

来源
《苏州大学学报（自然科学版）》|2008年第1期|54-59,64|共7页
作者
陈道喜; 陈冬火; 张广泉;
展开▼
作者单位

苏州大学,计算机科学与技术学院,江苏,苏州,215006;

苏州大学,计算机科学与技术学院,江苏,苏州,215006;

苏州大学,计算机科学与技术学院,江苏,苏州,215006;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
TCP; Promela; Spin; 模型检测;
入库时间 2023-07-26 00:28:59

相似文献

中文文献
外文文献
专利

1. 并发系统的安全性与活性的验证方法 [J] . 李杨 ,程建华 ,房鼎益 . 计算机工程与应用 . 2008,第004期
2. 计算机网络协议的安全性与活性验证 [J] . 李腊元 . 计算机科学 . 1993,第001期
3. 基于着色Petri网的TCP协议的形式化描述及验证 [J] . 李菲 . 现代计算机（专业版） . 2009,第006期
4. 基于Modbus/TCP协议安全性分析及安全框架设计 [J] . 董巧 . 黑龙江科技信息 . 2018,第009期
5. Modbus/TCP协议安全性分析与防护技术探讨 [J] . 闻宏强 ,李富勇 ,赵一凡 . 物联网技术 . 2018,第011期
6. 无线网上TCP协议的改进——EM-TCP协议 [C] . 许娜 ,孙爽 ,杨燕萍 . 2007年全国无线电应用与管理学术会议（CRAM'2007） . 2007
7. 基于FPGA的TCP协议的设计与验证 [A] . 毛园园 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号