|
|||||
|
|
| 计算机网络协议的安全性与活性验证 | |
| 引用本文： | 李腊元.计算机网络协议的安全性与活性验证[J].计算机科学,1993,20(1):67-72. |
| 作者姓名： | 李腊元 |
| 作者单位： | 武汉水运工程学院 430063 |
| 摘 要： | 计算机通信协议,或简称协议,是管理网络与分布式系统中各种元素(实体与进程)之间交互与通信的一套规则。协议是并行执行的,可能借助不可靠的传送介质进行通信,因此设计正确可靠的协议,对网络与分布式系统具有特别重要的意义。传统的非形式化技术已在许多实际协议的设计和实现中 |
| 关 键 词： | 计算机网络 网络协议 安全性 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |