- Vivi Padova
- Il Bo
Workshoplet on Formal Methods for Security
Starting on March, 12th, h. 12:00, room 2BC/30.
security properties verification in the formal and the computational model, process algebras for security, intruder models and compromising adversaries, type-based analysis, protocol stacks, key management, channel types.
Rif. int. G. Filè