Mohamed Hamdi, Nejla Essaddi, Noureddine Boudriga. ReAlSec: A Relational Language for Advanced Security Engineering. In Irfan Awan, Muhammad Younas, Takahiro Hara, Arjan Durresi, editors, The IEEE 23rd International Conference on Advanced Information Networking and Applications, AINA 2009, Bradford, United Kingdom, May 26-29, 2009. pages 596-601, IEEE Computer Society, 2009. [doi]
Abstract is missing.