摘要

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