IIT Home Page CNR Home Page

A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS

Electr. Notes Theor. Comput. Sci., 2007

Autori: F. Martinelli, M. Petrocchi
Autori IIT:

Tipo: Articoli su riviste non ISI con referee internazionali
Area di disciplina: Information Technology and Communication Systems
Da pagina 85 a pagina 99

Attività: Metodi formali per la sicurezza di sistemi ICT