Amanote Research
Register
Sign In
Synthesising Verified Access Control Systems in XACML
doi 10.1145/1029133.1029141
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2004
Authors
Nan Zhang
Mark Ryan
Dimitar P. Guelev
Publisher
ACM Press
Related search
On the Security of Delegation in Access Control Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Framework for Flexible Access Control in Digital Library Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Pervasive Access Control Within Video Surveillance Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improving the Efficiency of Control Signaling in Wireless Multiple Access Systems
An ECDSA Approach to Access Control in Knowledge Management Systems Using Blockchain
Information (Switzerland)
Information Systems
A Unified Framework for Evaluating Data-Dependent Access Control Systems
IPSJ Digital Courier
Towards a Full Support of Obligations in XACML
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Smart Brain Interaction Systems for Office Access and Control in Smart City Context
A Knowledge-Constrained Access Control Model for Protecting Patient Privacy in Hospital Information Systems
IEEE Journal of Biomedical and Health Informatics
Health Information Management
Biotechnology
Computer Science Applications
Electrical
Electronic Engineering