%0 Journal Article
%T IPv6邻居发现协议的形式化验证
%A 叶新铭
%A 郝松侠
%J -
%D 2005
%X 采用模型检查技术,对IPv6的邻居发现协议的属性进行了形式化验证.该协议的模型由目前广泛用于设计和描述通信协议的MSC(message sequence charts)来描述,并通过线性时序逻辑说明该协议的属性.还提出了由MSC模型的线性化自动抽取协议属性的方法
%K 消息序列表 模型检查 形式化验证 自动机理论
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20050618&flag=1