@inproceedings{9ced534f103847fc8712228dabd1411c,
title = "Reasoning for i]ncomplete authorizations",
abstract = "Authorization plays an important role to control access to the system resources. It enforces security mechanism in compliance with the polices and rules specified by the security strategies. However, the security rules may not be always complete. In certain situations, we need to evaluate and reason about an incomplete security domain. In this paper, we propose an approach to reason under incomplete security domain by extended logic programs, discuss properties of unknown and conflict queries, and solve these problems by defining a procedure of evaluating the logic programs.",
keywords = "Authorization, Formal specification, Incomplete domain, Logic program",
author = "Yun Bai",
year = "2008",
doi = "10.1007/978-3-540-85563-7\_39",
language = "English",
isbn = "3540855629",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
number = "PART 1",
pages = "278--285",
booktitle = "Knowledge-Based Intelligent Information and Engineering Systems - 12th International Conference, KES 2008, Proceedings",
edition = "PART 1",
note = "12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2008 ; Conference date: 03-09-2008 Through 05-09-2008",
}