relation: http://eprints.imtlucca.it/1573/
title: Towards a Formal Verification Methodology for Collective Robotic Systems
creator: Gjondrekaj, Edmond
creator: Loreti, Michele
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
creator: Pinciroli, Carlo
creator: Brambilla, Manuele
creator: Birattari, Mauro
creator: Dorigo, Marco
subject: QA75 Electronic computers. Computer science
description: We introduce a UML-based notation for graphically modeling  systems’ security aspects in a simple and intuitive  way and a model-driven process that transforms graphical  specifications of access control policies in XACML. These  XACML policies are then translated in FACPL, a policy  language with a formal semantics, and the resulting policies  are evaluated by means of a Java-based software tool.
publisher: Springer
date: 2012
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/1573/1/ICFEM2013.pdf
identifier:   Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco  Towards a Formal Verification Methodology for Collective Robotic Systems.   In:  Formal Methods and Software Engineering.   Lecture Notes in Computer Science  (7635).  Springer, pp. 54-70.  ISBN 978-3-642-34280-6      (2012)  
relation: http://dx.doi.org/10.1007/978-3-642-34281-3_7
relation: 10.1007/978-3-642-34281-3_7