知性Cord逻辑:验证Ad Hoc网络匿名路由协议
Epistemic Cord logic:verifying anonymous routing protocols in Ad Hoc network作者机构：南京大学软件新技术国家重点实验室南京210039 南京大学计算机科学与技术系南京210039
出 版 物：《计算机应用》 (journal of Computer Applications)
年 卷 期：2009年第29卷第9期
页 面：2432-2434页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金资助项目(60773170 60721002 90818022) 国家863计划项目(2006AA01Z432) 高等学校博士学科点专项科研基金资助项目(200802840002)
主 题：匿名 移动自主网 知性Cord逻辑 模块化 形式化方法
摘 要：为形式化验证移动自主网的匿名路由协议,提出了基于知性Cord逻辑的模块化验证方法。首先将协议分解为针对不同子安全功能的组件,然后分别利用知性Cord逻辑证明是否满足安全属性的规范。在这个框架下路径匿名的安全属性得到了规范。
维普期刊数据库
同方期刊数据库