SPKI/SDSI2.0的安全性分析

• 作者: 何永忠 耿秀华
• 来源期刊: 北京交通大学学报
• 学科: 工学
• 关键词: 信任管理 SPKI/SDSI2.0 安全性 约束
• 年，卷（期）: 2013,（5）
• 页码范围: 23-28
• 页数: 6页
• 分类号: TP309.2
• 字数: 7430字
• 语种: 中文

摘要

用标准的Datalog程序表示信任管理系统SPK I/SDSI2.0的系统状态,以Datalog程序的最小Herbrand模型作为它的语义,定义了信任管理系统SPKI/SDSI2.0的安全分析模型,制定了状态转换的限制规则,该限制规则是可实现的,在此基础上对SPKI/SDSI2.0的权限泄露问题进行了全面的分析,证明了该问题是在多项式时间内可判定的;证明了一个状态对于权限r是否可靠依赖且仅依赖于关于权限r的可信主体集合,并给出了计算可信主体集合的算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何永忠	北京交通大学计算机与信息技术学院	26	207	9.0	13.0
2	耿秀华	北京信息职业技术学院软件工程系	9	13	3.0	3.0