Mohamed Hamdi, Nejla Essaddi, Noureddine Boudriga: ReAlSec: A Relational Language for Advanced Security Engineering. AINA 2009: 596-601