IIT Home Page CNR Home Page

Formal Aspects in Security and Trust

, 2009

Autori esterni: Pierpaolo Degano (Università di Pisa), Joshua D. Guttman ( MITRE Corporation)
Autori IIT:

Tipo: Cura/edizione Atti di congresso (libro)
Area di disciplina: Information Technology and Communication Systems

Attività: Metodi formali per la sicurezza di sistemi ICT