IPv6邻居发现协议的形式化验证

• 作者: 叶新铭 郝松侠
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 消息序列表 模型检查 形式化验证 自动机理论
• 年，卷（期）: 2005,（6）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 1182-1189
• 页数: 8页
• 分类号: TP393
• 字数: 6596字
• 语种: 中文

摘要

采用模型检查技术,对IPv6的邻居发现协议的属性进行了形式化验证.该协议的模型由目前广泛用于设计和描述通信协议的MSC(message sequence charts)来描述,并通过线性时序逻辑说明该协议的属性.还提出了由MSC模型的线性化自动抽取协议属性的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶新铭	内蒙古大学计算机学院	100	798	11.0	25.0
2	郝松侠	中国科学院软件中心	1	8	1.0	1.0