论文研究 基于时序逻辑的HTTP NG协议分析.pdf 上传者：宛陵秋 2020-07-17 08:10:29上传 .PDF文件 41KB 热度 40次 形式化方法由于其简练、无二义性，在协议工程中有着重要的地位。首先对下一代超文本传输协议（HTTPNG）作了简单介绍,并利用基于时序逻辑MTLP的形式化方法对简化了的HTTPNG模型进行协议描述和分析，其中多种数据结构的引入，使分析更为方便。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
