IIT Home Page CNR Home Page

Formal Aspects in Security and Trust

, 2006

Autori: T. Dimitrakos, F. Martinelli, P. Y. A. Ryan, S. A. Schneider
Autori IIT:

Tipo: Cura/edizione Atti di congresso (libro)
Area di disciplina: Computer Science and Engineering

Attività: Metodi formali per la sicurezza di sistemi ICT