Formal description of mobile IPv6 protocol

	Formal description of mobile IPv6 protocol
	Zhang, YJ; Li, ZC
	2005
发表期刊	FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005
ISSN	0302-9743
卷号	3731 页码:538-541
摘要	Formal technique is the basis of automatic test generation. Mobile IPv6 is a complicated and distributed protocol with many discrete behaviors. It is difficult to describe the entire protocol by some formal model. The idea of hierarchical protocol description is proposed. Finite state machine (FSM) and multi-node finite state machine (MN-FSM) are defined. Mobile IPv6 protocol is divided into four layers. FSM and MN-FSM are used to describe network system, mobile IPv6 nodes, inner data structure management and discrete behaviors. Test sequences can be generated automatically based on these formal models.
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Theory & Methods
WOS记录号	WOS:000233597000041
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/10003
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Zhang, YJ
作者单位	Chinese Acad Sci, Comp Technol Inst, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Zhang, YJ,Li, ZC. Formal description of mobile IPv6 protocol[J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005,2005,3731:538-541.
APA	Zhang, YJ,&Li, ZC.(2005).Formal description of mobile IPv6 protocol.FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005,3731,538-541.
MLA	Zhang, YJ,et al."Formal description of mobile IPv6 protocol".FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005 3731(2005):538-541.