计算机工程2008,Vol.34Issue(8):77-79,3.
基于逻辑程序的访问控制描述与推理
Description and Reasoning of Access Control Based on Logical Program
冯毅 1王亚弟 1韩继红 1范钰丹1
作者信息
- 1. 解放军信息工程大学电子技术学院,郑州,450004
- 折叠
摘要
关键词
逻辑程序/访问控制模型/不动点/最小模型语义分类
信息技术与安全科学引用本文复制引用
冯毅,王亚弟,韩继红,范钰丹..基于逻辑程序的访问控制描述与推理[J].计算机工程,2008,34(8):77-79,3.