author : Roberto Di Pietro

Short works

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