TY  - CHAP
SN  - 978-3-319-08259-2
PB  - Springer
A1  - Margheri, Andrea
A1  - Masi, Massimiliano
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
SP  - 85
N2  - Policy-based software architectures are nowadays widely exploited to regulate different aspects of systems? behavior, such as access control, resource usage, and adaptation. Several languages and technologies have been proposed as, e.g., the standard XACML. However, developing real-world systems using such approaches is still a tricky task, being them complex and error-prone. To overcome such difficulties, we advocate the use of FACPL, a formal policy language inspired to but simpler than XACML. FACPL has an intuitive syntax, a mathematical semantics and easy-to-use software tools supporting policy development and enforcement. We illustrate potentialities and effectiveness of our approach through a case study from the Cloud computing domain.
T3  - Lecture Notes in Computer Science
Y1  - 2014/06//
TI  - Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical Approach
AV  - none
UR  - http://link.springer.com/chapter/10.1007%2F978-3-319-08260-8_6
ID  - eprints1849
T2  - Web Services and Formal Methods. 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
EP  - 105
ER  -