基于动态描述逻辑的UCON授权模型

• 作者: 吴江 张德同 田光辉 秦宝生
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 使用控制 授权模型 动态描述逻辑 逻辑模型
• 年，卷（期）: 2008,（19）
• 所属期刊栏目: 安全技术
• 页码范围: 163-166
• 页数: 4页
• 分类号: TP309.2
• 字数: 6142字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.19.055

摘要

使用控制(UCON)是下一代访问控制模型,其核心模型包括授权模型、义务模型和条件模型.该文的目的是使用动态描述逻辑DDL对UCON授权模璎进行逻辑表述,对授权过程中的各个决定要素进行逻辑描述并提供可判定性推理,提出UCON授权模型的逻辑模型,并提供了一个完整的授权实例,为模型的实际应用奠定一个较好的逻辑基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴江	西北大学信息科学与技术学院	40	487	13.0	20.0
2	张德同	西北大学信息科学与技术学院	13	92	6.0	9.0
3	秦宝生	西北大学信息科学与技术学院	4	23	2.0	4.0
4	田光辉	西北大学信息科学与技术学院	1	14	1.0	1.0