author : Fabio Martinelli

Short works

• A Uniform Approach for the Definition of Security Properties. 1999. (In FM'99 volume 1 )