论文部分内容阅读
随着分布式计算的不断发展，传统的基于角色的安全性（RBAC）模型已无法满足分布式安全的要求。根据微软的代码访问安全性，归纳出基于证据的代码访问控制（EBCAC）模型，并给出了它的一种形式化描述。该模型能实现对系统更低层次的访问控制；然后提出了一种改进的基于证据的代码访问控制（EBCAC）系统设计方案；最后给出了防止引诱攻击的实例。