摘要： 使用控制(UCON)是下一代访问控制模型，其核心模型包括授权模型、义务模型和条件模型。该文的目的是使用动态描述逻辑DDL对UCON授权模型进行逻辑表述，对授权过程中的各个决定要素进行逻辑描述并提供可判定性推理，提出UCON授权模型的逻辑模型，并提供了一个完整的授权实例，为模型的实际应用奠定一个较好的逻辑基础。
关键词:
使用控制,
授权模型,
动态描述逻辑,
逻辑模型
Abstract: 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.
Key words:
Usage Control(UCON),
authorization model,
dynamic description logic,
logical model
中图分类号:
田光辉;吴 江;张德同;秦宝生. 基于动态描述逻辑的UCON授权模型[J]. 计算机工程, 2008, 34(19): 163-166.
TIAN Guang-hui; WU Jiang; ZHANG De-tong; QIN Bao-sheng. Authorization Model of UCON Based on Dynamic Description Logic[J]. Computer Engineering, 2008, 34(19): 163-166.