Hédi Hamdi Mohamed Mosbah Adel Bouhoula A Domain Specific Language for Securing Distributed Systems. 76 2007 ICSNC http://doi.ieeecomputersociety.org/10.1109/ICSNC.2007.2 conf/icsnc/2007 db/conf/icsnc/icsnc2007.html#HamdiMB07