SPKI/SDSI2.0的安全性分析
耿秀华1
何永忠2
1.北京信息职业技术学院软件工程系,北京,1000182.北京交通大学计算机与信息技术学院,北京,100044
摘要：用标准的Datalog程序表示信任管理系统SPK I/SDSI2.0的系统状态,以Datalog程序的最小Herbrand模型作为它的语义,定义了信任管理系统SPKI/SDSI2.0的安全分析模型,制定了状态转换的限制规则,该限制规则是可实现的,在此基础上对SPKI/SDSI2.0的权限泄露问题进行了全面的分析,证明了该问题是在多项式时间内可判定的;证明了一个状态对于权限r是否可靠依赖且仅依赖于关于权限r的可信主体集合,并给出了计算可信主体集合的算法.
关键词：信任管理SPKI/SDSI2.0安全性约束
分类号：TP309.2(计算技术、计算机技术)
资助基金：教育部长江学者和创新团队发展计划项目(IRT201206)
论文发表日期：2013-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 23-28 )
英文信息