授权语言相关论文
安全策略是访问控制的核心,安全策略的描述、验证和执行离不开授权语言。在实际应用中,安全需求具有复杂性和动态性的特点,而现有......
逻辑语言由于其表达力和灵活性,是访问控制中授权语言的基础之一。针对Datalog语言缺乏表达事务和多方决策模型的能力,对Datalog进......
该文提出了一种新的安全认证授权的数据交换方式,设计了一种能够用一个单一的框架来表达不同访问控制策略的语言,可以沟通需要进行认......
首先提出一种单限制变元Datalog^乛,sc的概念,并对单限制变元Datalog^乛,sc的评价(evaluation)及其元组识别问题做了分析.然后提出使用......