自动信任协商的形式化描述与验证研究 |
| |
引用本文: | 官尚元,伍卫国,董小社,钱德沛.自动信任协商的形式化描述与验证研究[J].通信学报,2011,32(2):86-99. |
| |
作者姓名: | 官尚元 伍卫国 董小社 钱德沛 |
| |
作者单位: | 1. 西安交通大学计算机科学与技术系,陕西,西安,710049 2. 西安交通大学计算机科学与技术系,陕西,西安,710049;北京航空航天大学计算机科学与工程学院,北京100083 |
| |
基金项目: | 国家自然科学基金资助项目,国家高技术研究发展计划("863"计划)基金资助项目 |
| |
摘 要: | 首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证问题,讨论了相关问题的计算复杂性并得到系列结论;最后,利用逻辑编程方法和模型检测方法实现了自动信任协商的形式化验证。实验结果表明,规则数是影响形式化验证系统运行时间的关键因素,逻辑编程方法和模型检测方法在规则较少时效率较高,但逻辑编程方法的可扩展性不及模型检测方法。
|
关 键 词: | 访问控制 信任协商 形式化方法 计算复杂性 安全性 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《通信学报》浏览原始摘要信息 |
|
点击此处可从《通信学报》下载全文 |
|