relation: http://eprints.imtlucca.it/1849/
title: Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical Approach
creator: Margheri, Andrea
creator: Masi, Massimiliano
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
date: 2014-06
type: Book Section
type: PeerReviewed
identifier:   Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco  Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical Approach.   In:  Web Services and Formal Methods. 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers.   Lecture Notes in Computer Science  (8379).  Springer, pp. 85-105.  ISBN 978-3-319-08259-2      (2014)  
relation: http://link.springer.com/chapter/10.1007%2F978-3-319-08260-8_6
relation: 10.1007/978-3-319-08260-8_6