###

DOI:

计算机系统应用英文版:2006,15(12):54-58

View/Add Comment 过刊浏览高级检索 HTML

←前一篇 | 后一篇→

码上扫一扫！

下载全文

基于多协议扩展边界网关协议BGP4+的形式化建模研究

江魁¹, 黄云森¹, 龚巧华¹

(深圳大学现代教育技术与信息中心深圳 518060)

Research on Formal Modeling of Multiprotocol Extension Border Gateway Protocol BGP4 +

摘要

图/表

参考文献

相似文献

本文已被：浏览 1414次下载 2366次

中文摘要: 协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度,在分析BGP4+协议的基础上,提出了适用于复杂路由协议形式化建模的混合模型建模法,并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模.

中文关键词: BGP4+ 形式化建模有限状态机 SDL

Abstract:

keywords:

文章编号： 中图分类号： 文献标志码：

基金项目:

Author Name	Affiliation
江魁	深圳大学现代教育技术与信息中心深圳 518060
黄云森	深圳大学现代教育技术与信息中心深圳 518060
龚巧华	深圳大学现代教育技术与信息中心深圳 518060

Author Name	Affiliation
江魁	深圳大学现代教育技术与信息中心深圳 518060
黄云森	深圳大学现代教育技术与信息中心深圳 518060
龚巧华	深圳大学现代教育技术与信息中心深圳 518060

引用文本：
江魁,黄云森,龚巧华.基于多协议扩展边界网关协议BGP4+的形式化建模研究.计算机系统应用,2006,15(12):54-58
.Research on Formal Modeling of Multiprotocol Extension Border Gateway Protocol BGP4 +.COMPUTER SYSTEMS APPLICATIONS,2006,15(12):54-58