计算机网络通信协议验证技术的有机运用

发布时间：2021-02-02 08:17

　　我国经济的飞跃进步以及科学技术在各个领域取得的巨大突破都为计算机网络的发展创造了良好的条件。然而社会各界对于计算机网络的要求也更为严格化、多样化,特别是网络协议的复杂程度也随之递增,在这种背景之下协议工程技术应运而生并且取得了显著进展。通信协议是信息传输、计算机网络等多个系统的关键性要素,其作为一种详细的规则和格式完成了各种形式的实体之间的通信。但是,要保障通信协议的正常工作必须要运用验证技术对其实施检测保障一切合格之后,方能够将其运用到实际之中。因此,着重研究了网络通信协议验证技术的运用情况。 

【文章来源】：通信电源技术. 2020,37(03)

【文章页数】：2 页

【文章目录】：
1 计算机网络通信协议的相关概述
    1.1 计算机网络协议的定义
    1.2 计算机网络协议的特性
2 计算机网络通信协议的主要类型
    2.1 局域网使用的通信协议
    2.2 广域网使用的通信协议
    2.3 路由器选择协议
3 验证技术在计算机网络通信协议中的主要应用
    3.1 Ping程序在网络协议中的应用
    3.2 基于有限状态自动机模型的协议验证与分析
    3.3 基于时序逻辑的协议验证与分析
        3.3.1 基于模态逻辑的研究
        3.3.2 基于代数理论的协议分析
        3.3.3 规约证明
4 结论


【参考文献】：
期刊论文
[1]网络安全防护问题及措施应用[J]. 肖丽辉,张利明.  电子技术与软件工程. 2019(22)
[2]计算机通信的网络互连技术研究[J]. 毛文慧,蒋琴,王尚峰.  计算机产品与流通. 2019(11)



本文编号：3014389