Towards a Formal Verification Methodology for Collective Robotic Systems

Gjondrekaj, Edmond; Loreti, Michele; Pugliese, Rosario; Tiezzi, Francesco; Pinciroli, Carlo; Brambilla, Manuele; Birattari, Mauro; Dorigo, Marco

research

oai:eprints.imtlucca.it:1573

Towards a Formal Verification Methodology for Collective Robotic Systems

Authors: Edmond Gjondrekaj
Michele Loreti
Rosario Pugliese
Francesco Tiezzi
Carlo Pinciroli
Manuele Brambilla
Mauro Birattari
Marco Dorigo
Publication date: 1 January 2012
Publisher: Springer
Doi

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

Similar works

Full text

Open in the Core reader

Download PDF

IMT Institutional Repository

oai:eprints.imtlucca.it:1573

Last time updated on 19/07/2013

This paper was published in IMT Institutional Repository.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.