%0 Journal Article
%T Temporal-logic-based Protocol Analysis for HTTP-NG
基于时序逻辑的HTTP-NG协议分析
%A XIE Jie-rui
%A LIU Cai-xing
%A XIAO De-qin
%A HUANG Zhong-min
%A
谢洁锐
%A 刘才兴
%A 肖德琴
%A 黄忠民
%J 计算机应用研究
%D 2004
%I
%X 形式化方法由于其简练、无二义性,在协议工程中有着重要的地位。首先对下一代超文本传输协议(HTTPNG)作了简单介绍,并利用基于时序逻辑MTLP的形式化方法对简化了的HTTPNG模型进行协议描述和分析,其中多种数据结构的引入,使分析更为方便。
%K Formalization
%K Temporal Logic
%K HTTP-NG
%K Session
形式化
%K 时序逻辑
%K 下一代超文本传输协议
%K 会话
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=D24DBFAA568238CC&yid=D0E58B75BFD8E51C&vid=659D3B06EBF534A7&iid=708DD6B15D2464E8&sid=46CB27789995047D&eid=E203FB1A272C9DD2&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=3