@Article{LayouniHT07,
  author = 	 {Mohamed Layouni and
               Jozef Hooman and
               Sofi{\`e}ne Tahar},
  title = 	 {Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol},
  journal = 	 {International Journal of Network Security},
  year = 	 2007,
  volume =	 5,
  number =	 3,
  pages =	 {288-298}
}