author : Frank Rittinger

Papers/Articles

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