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