IIT Home Page CNR Home Page

Foundations of Security Analysis and Design III, FOSAD 2004/2005- Tutorial Lectures

2005

Authors: A.Aldini and R.Gorrieri, and F. Martinelli
IIT authors:

Type: Conference proceedings
Field of reference: Information Technology and Communication Systems

Activity: Metodi formali per la sicurezza di sistemi ICT