知性Cord逻辑:验证Ad Hoc网络匿名路由协议

摘要：

为形式化验证移动自主网的匿名路由协议,提出了基于知性Cord逻辑的模块化验证方法.首先将协议分解为针对不同子安全功能的组件,然后分别利用知性Cord逻辑证明是否满足安全属性的规范.在这个框架下路径匿名的安全属性得到了规范.

关键词：匿名、移动自主网、知性Cord逻辑、模块化、形式化方法

所属期刊栏目：29

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60773170,60721002,90818022;国家863计划项目2006AA01Z432;高等学校博士学科点专项科研基金资助项目200802840002

在线出版日期：2009-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2432-2434