Livello precedente |
Andrea Avallone. A formal model of security controls implementing the IPsec and IKE protocols. Rel. Cataldo Basile, Antonio Lioy. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2021