【文件属性】：
文件名称：论文研究-基于时序逻辑的HTTP-NG协议分析.pdf
文件大小：41KB
文件格式：PDF
更新时间：2022-08-11 17:31:25
形式化,时序逻辑,下一代超文本传输协议,会话
形式化方法由于其简练、无二义性，在协议工程中有着重要的地位。首先对下一代超文本传输协议（HTTPNG）作了简单介绍,并利用基于时序逻辑MTLP的形式化方法对简化了的HTTPNG模型进行协议描述和分析，其中多种数据结构的引入，使分析更为方便。