author : David Basin

Short works

• A Formal Analysis of the CORBA Security Service. 2002. (In ZB 2002 )