@inproceedings{eb3a3b0d752241d485e9d8270f2e5fc1,
title = "Policy expression and checking in XACML, WS-Policies, and the jABC",
abstract = "Web-based access to sensitive and confidential data is realized today via different approaches, using a variety of methods to specify and combine access control policies. In an optic of change management and evolution, a structured and flexible model is needed to handle dynamicity, particularly when handling rights in systems with many users which hold different roles. Furthermore the validation of security constraints is an important key to warrant the reliability of control mechanisms. This paper compares the temporal logic-based approach for modeling access control used by the jABC framework with two popular XML-based description languages (XACML and WS-Policy), which are quasi-standards for policy expression in Web applications. Its usage is illustrated here on the example of the web-based Online Conference Service (OCS). The respective functionalities are described and examined in consideration of their ability to validate and enforce the needed policies.",
keywords = "Access control, Model checking, Policies, Validation",
author = "Martin Karusseit and Tiziana Margaria and Holger Willebrandt",
year = "2008",
doi = "10.1145/1390832.1390836",
language = "English",
isbn = "9781605580524",
series = "TAV-WEB 2008 - Proceedings of the Workshop on Testing, Analysis and Verification of Web Software",
pages = "20--26",
booktitle = "TAV-WEB 2008 - Proceedings of the Workshop on Testing, Analysis and Verification of Web Software",
note = "Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2008 ; Conference date: 21-07-2008 Through 21-07-2008",
}