ReAlSec: A Relational Language for Advanced Security Engineering.

Mohamed Hamdi, Nejla Essaddi, Noureddine Boudriga

Browse the full AINA paper archive.