@incollection{eprints1573,
           pages = {54--70},
          author = {Edmond Gjondrekaj and Michele Loreti and Rosario Pugliese and Francesco Tiezzi and Carlo Pinciroli and Manuele Brambilla and Mauro Birattari and Marco Dorigo},
            year = {2012},
           title = {Towards a Formal Verification Methodology for Collective Robotic Systems},
       booktitle = {Formal Methods and Software Engineering},
          number = {7635},
          series = {Lecture Notes in Computer Science},
       publisher = {Springer},
             url = {http://eprints.imtlucca.it/1573/},
        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.},
        keywords = {Security, Model-driven development, Web engineering - 

Proceedings of 14th International Conference on Formal Engineering Methods (ICFEM)}
}