摘要:形式化方法由于其简练、无二义性,在协议工程中有着重要的地位.首先对下一代超文本传输协议(HTTP- NG)作了简单介绍,并利用基于时序逻辑MTLP的形式化方法对简化了的HTTP- NG模型进行协议描述和分析,其中多种数据结构的引入,使分析更为方便.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
热门期刊服务
相关文章
影响因子:0.93
期刊级别:北大期刊
发行周期:月刊
期刊在线咨询,1-3天快速下单!
查看更多>
超1000杂志,价格优惠,正版保障!
一站式期刊推荐服务,客服一对一跟踪服务!