Formal Technique for Discovering Complex Attacks in Computer Systems.

Lamia Hamza, Kamel Adi

Browse the full SoMeT paper archive.