Temporal-logic-based Protocol Analysis for HTTP-NG
基于时序逻辑的HTTP-NG协议分析

形式化方法由于其简练、无二义性，在协议工程中有着重要的地位。首先对下一代超文本传输协议（HTTPNG）作了简单介绍,并利用基于时序逻辑MTLP的形式化方法对简化了的HTTPNG模型进行协议描述和分析，其中多种数据结构的引入，使分析更为方便。