![]() | Up a level |
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