News

Workshoplet on Formal Methods for Security

ARGOMENTI: Convegni

Workshoplet on Formal Methods for Security
March, 12th-13th

Starting on March, 12th, h. 12:00, room 2BC/30.

-Topics
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è

Download Web Site

NEWS: Sciopero dei docenti e svolgimento degli esami - L'eventuale astensione riguardera' il primo appello d'esame programmato nel periodo 28 agosto - 31 ottobre 2017. X