Towards a Formal Verification Methodology for Collective Robotic Systems

Author: A. Winfield, C. Dixon, C. Jones, E. Ferrante, E.M. Clarke, F. Calzolai, J.A. Stankovic, K. Lerman, L. Bettini, M. Fisher, R. Bruni, R. Nicola De, R. Nicola De, S. Konur
Publisher: Springer Science and Business Media LLC

ABOUT BOOK

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

Powered by: