eprintid: 1573
rev_number: 12
eprint_status: archive
userid: 31
dir: disk0/00/00/15/73
datestamp: 2013-05-02 12:21:09
lastmod: 2013-05-02 12:21:09
status_changed: 2013-05-02 12:21:09
type: book_section
metadata_visibility: show
creators_name: Gjondrekaj, Edmond
creators_name: Loreti, Michele
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_name: Pinciroli, Carlo
creators_name: Brambilla, Manuele
creators_name: Birattari, Mauro
creators_name: Dorigo, Marco
creators_id: 
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
creators_id: 
title: Towards a Formal Verification Methodology for Collective Robotic Systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Security, Model-driven development, Web engineering - 

Proceedings of 14th International Conference on Formal Engineering Methods (ICFEM)
abstract: 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.
date: 2012
date_type: published
series: Lecture Notes in Computer Science
number: 7635
publisher: Springer
pagerange: 54-70
id_number: 10.1007/978-3-642-34281-3_7
refereed: TRUE
isbn: 978-3-642-34280-6
book_title: Formal Methods and Software Engineering
official_url: http://dx.doi.org/10.1007/978-3-642-34281-3_7
citation:   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)  
document_url: http://eprints.imtlucca.it/1573/1/ICFEM2013.pdf