论文部分内容阅读
分析了RT0信任管理语言及其语义,添加了凭证类型.RT0中证明授权请求是通过构建凭证链进行,通过对前后向链构建规则进行分析,总结并完善了凭证链构建时非线性结构的处理.提出了角色推论深度的概念,讨论了链构建时的推论深度控制机制,解决了对授权安全级别进行控制的问题.给出了使用栈管理待处理角色表达式的方案,使链构建有序进行.