Proceedings - Foundations of Computer Security, Affiliated with LICS'02 FLoC'02 Copenhagen, Denmark July 25-26, 2002 (2002)

by I. Cervesato (ed.) , Affiliated Lics , Iliano Cervesato , Ralf Küsters