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

• 作者: 刘才兴 肖德琴 谢洁锐 黄忠民
• 来源期刊: 计算机应用研究
• 关键词: 形式化 时序逻辑 下一代超文本传输协议 会话
• 年，卷（期）: 2004,（11）
• 所属期刊栏目: 研究探讨
• 页码范围: 78-80
• 页数: 3页
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2004.11.028

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖德琴	华南农业大学理学院	93	894	17.0	25.0
2	刘才兴	华南农业大学理学院	37	433	13.0	19.0
3	谢洁锐	华南农业大学理学院	18	219	8.0	14.0
4	黄忠民	华南农业大学理学院	4	29	3.0	4.0