![]() | Up a level |
Mattia Bencivenga.
Towards the automatic refinement of high-level security policies in computer networks.
Rel. Cataldo Basile, Antonio Lioy. Politecnico di Torino, Master of science program in Computer Engineering, 2022