author : Luigi V. Mancini

Short works

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