摘要
使用控制(UCON)是下一代访问控制模型,其核心模型包括授权模型、义务模型和条件模型。该文的目的是使用动态描述逻辑DDL对UCON授权模型进行逻辑表述,对授权过程中的各个决定要素进行逻辑描述并提供可判定性推理,提出UCON授权模型的逻辑模型,并提供了一个完整的授权实例,为模型的实际应用奠定一个较好的逻辑基础。
The concept of Usage Control(UCON) is introduced as a unified approach. The UCON model includes authorization model, obligation model and condition model. Dynamic description logic is proposed for authorization model, by combining the features of reasoning and capturing factors of authorization. An integrated authorization instance is provided. This logical model provides a fine foundation for application of UCON.
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第19期163-166,共4页
Computer Engineering
关键词
使用控制
授权模型
动态描述逻辑
逻辑模型
Usage Control(UCON)
authorization model
dynamic description logic
logical model