Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
A unified framework for enforcing multiple access control policies
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Referee: trust management for Web applications
World Wide Web Journal - Special issue: Web security: a matter of trust
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
The role of trust management in distributed systems security
Secure Internet programming
Flexible support for multiple access control policies
ACM Transactions on Database Systems (TODS)
Certificate chain discovery in SPKI?SDSI
Journal of Computer Security
A logical framework for reasoning about access control models
ACM Transactions on Information and System Security (TISSEC)
Delegation logic: A logic-based approach to distributed authorization
ACM Transactions on Information and System Security (TISSEC)
Compliance Checking in the PolicyMaker Trust Management System
FC '98 Proceedings of the Second International Conference on Financial Cryptography
Towards a Better Understanding of Context and Context-Awareness
HUC '99 Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing
A Logical Framework for Reasoning on Data Access Control Policies
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Design of a Role-Based Trust-Management Framework
SP '02 Proceedings of the 2002 IEEE Symposium on Security and Privacy
A Logical Language for Expressing Authorizations
SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
Modelling and Using Imperfect Context Information
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
A Formal Language for Access Control Policies in Distributed Environment
WI '05 Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Handling distributed authorization with delegation through answer set programming
International Journal of Information Security
Ambient Intelligence: A Multimedia Perspective
IEEE MultiMedia
Defeasible Contextual Reasoning with Arguments in Ambient Intelligence
IEEE Transactions on Knowledge and Data Engineering
Decentralized trust management
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
Strategies for contextual reasoning with conflicts in ambient intelligence
Knowledge and Information Systems
Partial preferences and ambiguity resolution in contextual defeasible logic
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
A formalization of distributed authorization with delegation
ACISP'05 Proceedings of the 10th Australasian conference on Information Security and Privacy
Ambient Intelligence: A New Multidisciplinary Paradigm
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
| Hi-index | 0.00 |
Authorization is an open problem in Ambient Intelligence environments. The difficulty of implementing authorization policies lies in the open and dynamic nature of such environments. The information is distributed among various heterogeneous devices that collect, process, change, and share it. Previous work presented a fully distributed approach for reasoning with conflicts in ambient intelligence systems. This paper extends previous results to address authorization issues in distributed environments. First, the authors present the formal high-level authorization language DEAL to specify access control policies in open and dynamic distributed systems. DEAL has rich expressive power by supporting negative authorization, rule priorities, hierarchical category authorization, and nonmonotonic reasoning. The authors then define the language semantics through Defeasible Logic. Finally, they demonstrate the capabilities of DEAL in a use case Ambient Intelligence scenario regarding a hospital facility.