author : Antonio Durante

Short works

• Formal specification for fast automatic IDS training. 2003. (In Formal Aspects of Security )