IIT Home Page CNR Home Page

A Formalization of the SCEP Protocol Enrolment Phase

1st FMOODS Ph.D. Workshop, co-located with FMOODS 2002, Enschede, the Netherlands, 2002

Autori: M. Petrocchi
Autori IIT:

Tipo: Comunicazioni/relazioni in Convegni internazionali
Area di disciplina: Information Technology and Communication Systems

Attività: Metodi formali per la sicurezza di sistemi ICT