Forum Informatica Unict

LAUREA MAGISTRALE => Computer Security, 9 CFU => Topic started by: Giampaolo Bella on 07-06-2016, 16:37:28



Title: Proverif by Giustolisi
Post by: Giampaolo Bella on 07-06-2016, 16:37:28
Giustolisi mi scrive: e' "possibile chiedere ai tuoi studenti di installare proverif cosi' da farli partecipare in maniera attiva agli esercizi? http://prosecco.gforge.inria.fr/personal/bblanche/proverif/".

Gli ho risposto che e' possibile!

Installatelo.



Title: Re:Proverif by Giustolisi
Post by: Giampaolo Bella on 16-06-2016, 16:05:19
Ecco le slide di Giustolisi https://sites.google.com/site/sarogiustolisi/proverif.pdf
Costituiscono argomento d'esame.