Lamia Hamza Kamel Adi Formal Technique for Discovering Complex Attacks in Computer Systems. 185-199 2007 SoMeT conf/somet/2007 db/conf/somet/somet2007.html#HamzaA07