-
题名基于通信顺序进程的计算机网络通信协议形式化描述
被引量:1
- 1
-
-
作者
刘芳
-
机构
福建师范大学协和学院
-
出处
《信息系统工程》
2016年第2期124-124,共1页
-
文摘
在当前的社会中,随着计算机技术、网络技术的不断发展,在人们的日常生活当中,对计算机网络的使用要求越来越高。在这样的情况之下,对于计算机网络通信协议的形式化描述越来越重要。在这一过程中,将通信顺序进程引入到可终止进程当中,同时给出了相应的判定方法。由于过去通信顺序进程只能对同步通信进行描述,因而提出了基于通信顺序进程的异步通信描述方法,最后结合AB协议,进行了基于通信顺序进程的描述。
-
关键词
通信顺序进程
计算机网络通信协议
形式化描述
-
分类号
TP393.04
[自动化与计算机技术—计算机应用技术]
-
-
题名关于计算机网络通信协议安全性与系统验证的分析
- 2
-
-
作者
任伟嘉
-
机构
武汉中原电子集团有限公司
-
出处
《电子测试》
2022年第22期134-136,共3页
-
文摘
本文将在理清计算机网络通信协议的相关概念与特点的基础上,阐述计算机网络协议安全威胁与通信安全基础,基于IPv6协议详细分析计算机网络安全性,以及计算机网络通信协议验证技术的实践应用。
-
关键词
计算机网络通信协议
安全性
系统验证技术
-
Keywords
computer network communication protocol
Safety
System verification technology
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名浅析计算机网络通信协议
- 3
-
-
作者
聂犇
-
机构
九江职业大学
-
出处
《才智》
2013年第33期273-273,共1页
-
文摘
计算机网络通信协议是互联网络数据传输中不可或缺的一部分。本文在简单介绍网络通信协议的定义和组成的基础上,详细阐述了TCP\IP协议、SNMP协议以及PPP协议的工作原理和工作方式,从而对于互联网络不同通信层的数据通信进行探讨和研究。
-
关键词
计算机网络通信协议
TCP\IP协议
SNMP协议
PPP协议
-
分类号
TP393.04
[自动化与计算机技术—计算机应用技术]
-