论文部分内容阅读
针对动态安全策略在策略表达、判决和验证等方面具有的重要意义，提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML．首先，给出了SSML逻辑系统的语法和语义，并且证明了一般意义上的SSML逻辑系统查询评估问题是不可判定的，从而表明不存在通用的SSML安全策略语义查询评估算法．其次，研究SSML子语言特性，发现两类语法受限的SSML动态安全策略——NDel型安全策略和TDPZ型安全策略．虽然前者不允许在安全策略中出现删除规则，后者只允许完全信任的管理人员执行删除规则，但它们的查询评估问题是可判定的，