北京交通大学学报2013，Vol.37Issue(5)：23-28,6.
SPKI/SDSI2.0的安全性分析
Security analysis in SPKI/SDSI2.0
摘要
Abstract
We get logic programs based on translating each policy statement in trust management system SPKI/SDSI2.0 into corresponding Datalog clauses.The minimal Herbrand model of Datalog program is used as the program's semantics,so the safety analysis model for SPKI/SDSI2.0 is defined and limit rules of state transmission are formulated.The limit rules are realizable.Based on this model,the security properties in SPKI/SDSI2.0 are synthetically analyzed.As a result,simple safety can be resolved in polynomial time.To a specific right r,whether a SPKI/SDSI2.0 system state is reliable relies on and only relies on the set of trusted principals about right r.Moreover,the algorithm which searches all trusted principals to specific right in a given state is also presented.关键词
信任管理/SPKI/SDSI2.0/安全性/约束Key words
trust management/ SPKI/SDSI2.0/ safety/ constraint分类
信息技术与安全科学引用本文复制引用
耿秀华,何永忠..SPKI/SDSI2.0的安全性分析[J].北京交通大学学报,2013,37(5):23-28,6.基金项目
教育部高校创新团队资助项目(IRT20 1206) （IRT20 1206）
