一种高效的SPKI/SDSI2.0策略分析算法

分享到

【获取途径】超星期刊网
【作者】耿秀华，韩臻，金砺，曹香港
【刊名】计算机研究与发展
【作者单位】北京交通大学计算机与信息技术学院；太原师范学院计算机系
【年份】2009
【卷号】第2期
【页码】225-234
【ISSN】1000-1239
【关键词】信任管理 SPKI/SDSI2.0 逻辑策略分析证书
【摘要】信任管理方法提供了一种新的思路,弥补了传统授权机制应用于分布式系统的不足.SPKI/SDSI2.0是目前较普及的信任管理系统,系统中的每个主体都可以发放证书.在一个特定的系统状态中,系统管理员需要知道关于系统的一些'特性',如某一主体是否有权访问被保护资源、一个本地名有哪些成员等.当证书数量庞大时,这些问题需要借助一定的工具才能回答.但以前的算法均集中于对授权问题的讨论,没有考虑与名字相关的系统策略分析,且分析效率偏低.提出了一种基于逻辑的SPKI/SDSI2.0策略分析算法EPAAS,从本质上...
【基金】国家自然科学基金;国家高技术研究发展计划(863计划);国家重点基础研究发展计划(973计划);北京交通大学科技基金
【文献类型】期刊