首页 | 官方网站   微博 | 高级检索  
     

知性Cord逻辑:验证Ad Hoc网络匿名路由协议
引用本文:李沁,曾庆凯.知性Cord逻辑:验证Ad Hoc网络匿名路由协议[J].计算机应用,2009,29(9).
作者姓名:李沁  曾庆凯
作者单位:南京大学,软件新技术国家重点实验室,南京,210039;南京大学,计算机科学与技术系,南京210039
基金项目:国家自然科学基金资助项目,国家863计划项目,高等学校博士学科点专项科研基金资助项目 
摘    要:为形式化验证移动自主网的匿名路由协议,提出了基于知性Cord逻辑的模块化验证方法.首先将协议分解为针对不同子安全功能的组件,然后分别利用知性Cord逻辑证明是否满足安全属性的规范.在这个框架下路径匿名的安全属性得到了规范.

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

Epistemic Cord logic:verifying anonymous routing protocols in Ad Hoc network
LI Qin,ZENG Qing-kai.Epistemic Cord logic:verifying anonymous routing protocols in Ad Hoc network[J].journal of Computer Applications,2009,29(9).
Authors:LI Qin  ZENG Qing-kai
Affiliation:1.State Key Laboratory for Novel Software Technology;Nanjing University;Nanjing Jiangsu210093;China;2.Department of Computer Science and Technology;China
Abstract:For verifying Ad Hoc 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.
Keywords:
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号