| 注册
首页|期刊导航|计算机工程|基于逻辑程序的访问控制描述与推理

基于逻辑程序的访问控制描述与推理

冯毅 王亚弟 韩继红 范钰丹

计算机工程2008,Vol.34Issue(8):77-79,3.
计算机工程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.

计算机工程

OA北大核心CSCDCSTPCD

1000-3428

访问量0
|
下载量0
段落导航相关论文