首页 期刊 计算机应用研究 基于时序逻辑的HTTP-NG协议分析 【正文】

基于时序逻辑的HTTP-NG协议分析

作者:谢洁锐; 刘才兴; 肖德琴; 黄忠民 华南农业大学; 理学院; 广东; 广州; 510640
形式化   时序逻辑   下一代超文本传输协议   会话  

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅