%I Springer
%T Towards a Formal Verification Methodology for Collective Robotic Systems
%P 54-70
%R 10.1007/978-3-642-34281-3_7
%N 7635
%B Formal Methods and Software Engineering
%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.
%L eprints1573
%D 2012
%K Security, Model-driven development, Web engineering - 

Proceedings of 14th International Conference on Formal Engineering Methods (ICFEM)
%A Edmond Gjondrekaj
%A Michele Loreti
%A Rosario Pugliese
%A Francesco Tiezzi
%A Carlo Pinciroli
%A Manuele Brambilla
%A Mauro Birattari
%A Marco Dorigo
%S Lecture Notes in Computer Science