eprintid: 1849
rev_number: 9
eprint_status: archive
userid: 31
dir: disk0/00/00/18/49
datestamp: 2013-10-28 12:03:11
lastmod: 2015-11-02 09:54:00
status_changed: 2013-10-28 12:03:11
type: book_section
metadata_visibility: show
creators_name: Margheri, Andrea
creators_name: Masi, Massimiliano
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical Approach
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: 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.
date: 2014-06
date_type: published
series: Lecture Notes in Computer Science
number: 8379
publisher: Springer
pagerange: 85-105
pages: 21
id_number: 10.1007/978-3-319-08260-8_6
refereed: TRUE
isbn: 978-3-319-08259-2
book_title: Web Services and Formal Methods. 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
official_url: http://link.springer.com/chapter/10.1007%2F978-3-319-08260-8_6
citation:   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)