Boudriga, Noureddine, Communication Networks and Security Research Lab., Carthage University, Tunisia

• Vol 3, No 8 (2008) - REGULAR PAPERS
  Heterogeneous Security Policy Validation: From Formal to Executable Specifications
  Abstract  PDF