%0 Book Section
%A Margheri, Andrea
%A Masi, Massimiliano
%A Pugliese, Rosario
%A Tiezzi, Francesco
%B Web Services and Formal Methods. 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
%D 2014
%F eprints:1849
%I Springer
%N 8379
%P 85-105
%S Lecture Notes in Computer Science
%T Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical Approach
%U http://eprints.imtlucca.it/1849/
%X 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.