论文研究 基于时序逻辑的HTTP NG协议分析.pdf

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