Towards a Formal Verification Methodology for Collective Robotic Systems

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)

Preview

PDF Download (446kB) | Preview

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.

Item Type:	Book Section
Identification Number:	10.1007/978-3-642-34281-3_7
Uncontrolled Keywords:	Security, Model-driven development, Web engineering - Proceedings of 14th International Conference on Formal Engineering Methods (ICFEM)
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Users 31 not found.
Date Deposited:	02 May 2013 12:21
Last Modified:	02 May 2013 12:21
URI:	http://eprints.imtlucca.it/id/eprint/1573

Actions (login required)

Edit Item