%0 Book Section
%A Gjondrekaj, Edmond
%A Loreti, Michele
%A Pugliese, Rosario
%A Tiezzi, Francesco
%A Pinciroli, Carlo
%A Brambilla, Manuele
%A Birattari, Mauro
%A Dorigo, Marco
%B Formal Methods and Software Engineering
%D 2012
%F eprints:1573
%I Springer
%K Security, Model-driven development, Web engineering -     Proceedings of 14th International Conference on Formal Engineering Methods (ICFEM)
%N 7635
%P 54-70
%S Lecture Notes in Computer Science
%T Towards a Formal Verification Methodology for Collective Robotic Systems
%U http://eprints.imtlucca.it/1573/
%X 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.