TY  - CHAP
T2  - Formal Methods and Software Engineering
EP  - 70
ID  - eprints1573
UR  - http://dx.doi.org/10.1007/978-3-642-34281-3_7
Y1  - 2012///
KW  - Security
KW  -  Model-driven development
KW  -  Web engineering - 

Proceedings of 14th International Conference on Formal Engineering Methods (ICFEM)
AV  - public
TI  - Towards a Formal Verification Methodology for Collective Robotic Systems
SP  - 54
N2  - 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.
T3  - Lecture Notes in Computer Science
PB  - Springer
SN  - 978-3-642-34280-6
A1  - Gjondrekaj, Edmond
A1  - Loreti, Michele
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
A1  - Pinciroli, Carlo
A1  - Brambilla, Manuele
A1  - Birattari, Mauro
A1  - Dorigo, Marco
ER  -