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

Epistemic Cord logic:verifying anonymous routing protocols in Ad Hoc network

作　　者：李沁[1,2] 曾庆凯[1,2] 

机构地区：[1]南京大学软件新技术国家重点实验室,南京210039 [2]南京大学计算机科学与技术系,南京210039

出　　处：《计算机应用》2009年第9期2432-2434,共3页journal of Computer Applications

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

摘　　要：为形式化验证移动自主网的匿名路由协议,提出了基于知性Cord逻辑的模块化验证方法。首先将协议分解为针对不同子安全功能的组件,然后分别利用知性Cord逻辑证明是否满足安全属性的规范。在这个框架下路径匿名的安全属性得到了规范。For verifying Ad Hoe anonymous routing protocols, a modular method was proposed, which was based on epistemic Cord logic. This method decomposed a protocol into several components according to different security sub-function, and then proved whether these components satisfied their specifications of security properties. The Security property of path anonymity was defined and was specified by this logic.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]