% !TEX encoding = IsoLatin

%\begin{thebibliography}{9} % se ci sono meno di 10 citazioni
\begin{thebibliography}{99} % se ci sono da 10 a 99 citazioni
%\begin{thebibliography}{999} % se ci sono da 100 a 999 citazioni

% esempio citazione articolo a congresso
%\bibitem{psisec}
% nomi autori
%I.Enrici, M.Ancilli, A.Lioy,
% titolo articolo
%``A psychological approach to information technology security'',
% nome del congresso
%HSI-2010: 3rd Int. Conf. on Human System Interactions,
% luogo (stato) e data del congresso
%Rzeszòw (Poland), May 13-15, 2010,
% pagine dell'articolo
%pp.\ 459-466,
% DOI
%\doi{10.1109/HSI.2010.5514528}

% esempio citazione articolo su rivista
%\bibitem{tpa}
% autori dell'articolo
%G.Cabiddu, E.Cesena, R.Sassu, D.Vernizzi, G.Ramunno, A.Lioy,
% titolo dell'articolo
%``Trusted Platform Agent'',
% nome della rivista
%IEEE Software,
% volume e numero della rivista (alcune riviste non ce l'hanno)
%Vol.\ 28, No.\ 2,
% mese e anno di pubblicazione della rivista
%March-April 2011,
% pagine dell'articolo
%pp.\ 35-41,
% DOI
%\doi{10.1109/MS.2010.160}


% esempio citazione capitolo di un libro fatto come collezione di contributi da autori diversi
%\bibitem{tc}
%A.Lioy, G.Ramunno, % autori del capitolo
%``Trusted Computing'' % titolo del capitolo
%nel libro % in the book
%``Handbook of Information and Communication Security'' % titolo del libro
%a cura di % edited by
%P.Stavroulakis, M.Stamp, % nomi dei curatori
%Springer, % nome editore
%2010, % anno di pubblicazione
%pp.\ 697-717, % pagine del capitolo
%\doi{10.1007/978-3-642-04117-4_32}

 % esempio citazione pagina web di un progetto
%\bibitem{openssl}
% nome del progetto
%The OpenSSL project,
 % URI della pagina web
%\url{http://www.openssl.org/}

% esempio citazione RFC
%\bibitem{tls12}
%T.Dierks, E.Rescorla,
%``The Transport Layer Security (TLS) Protocol Version 1.2'',
%\rfc{5246}, August 2008,
%\doi{10.17487/RFC5246}

 % esempio citazione libro
%\bibitem{seceng}
%Ross J. Anderson,
%``Security engineering'',
%Wiley, 2008,
%ISBN: 978-0-470-06852-6

%%%%%%%%% intro %%%%%%

\bibitem{vuln}
NIST statistics,
\url{https://nvd.nist.gov/vuln-metrics/cvss}

\bibitem{ibm-breach}
IBM Data Breach Costs,
\url{https://newsroom.ibm.com/2019-07-23-IBM-Study-Shows-Data-Breach-Costs-on-the-Rise-Financial-Impact-\\ Felt-for-Years}

%%%%%%% NSP %%%%%%%%%%%

\bibitem{Taxonomy}
S. Kent, R. Atkinson,
``Taxonomy of Conflicts in Network Security Policies'',
IEEE Communications Magazine, 
Vol.\ 44, No.\ 3,
March 2006,
pp.\ 134-141,
\doi{10.1109/MCOM.2006.1607877}

\bibitem{IPSec}
H Hamed, E. Al-Shaer,
``Security Architecture for the Internet Protocol'',
\rfc{2401}
November 1998,
\doi{10.17487/RFC2401 }

\bibitem{IPSec-img-02}
IPv6Now,
\url{http://www.ipv6now.com.au/primers/IPv6PacketSecurity.php}

%%%%%%% FIREWALL %%%%%%%%%%%

\bibitem{firewall-01}
E. S. Al-Shaer and H. H. Hamed,
``Firewall Policy Advisor for anomaly discovery and rule editing'',
IEEE Eighth International Symposium on Integrated Network Management, 
April 2003,
pp.\ 17-30,
\doi{10.1109/INM.2003.1194157}

\bibitem{packet-filter1}
Firewall technologies definitions,
\url{https://security.polito.it/~lioy/02krq/firewall_en.pdf}

\bibitem{firewall-02}
H. Hamed, A. El-Atawy and E. Al-Shaer,
``On Dynamic Optimization of Packet Matching in High-Speed Firewalls'',
IEEE Journal on Selected Areas in Communications, 
Vol.\ 24, No.\ 10,
October 2006,
pp.\ 1817-1830,
\doi{10.1109/JSAC.2006.877140}

\bibitem{firewall-03}
Hazem H. Hamed, Ehab S. Al-Shaer, 
''Dynamic Rule-Ordering Optimization for High-Speed Firewall Filtering'',
Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, 
Taipei (Taiwan), March 2006,
pp.\ 332-342,
\doi{https://doi.org/10.1145/1128817.1128867}



%%%%%%% POLICY ANALISY, CONFLITCTS, TRANSFORMATION %%%%%%%%%%%

\bibitem{D4.3}
Cataldo Basile,
``Policy analysis and reconciliation'',
Report of SECURED, 
March 2016

\bibitem{ACPAandT}
C. Basile, A. Cappadonia, A. Lioy,
``Network-Level Access Control Policy Analysis and Transformation'',
IEEE/ACM Transactions on Networking, 
Vol.\ 20, No.\ 4,
August 2012,
pp.\ 985-998,
\doi{10.1109/TNET.2011.2178431}



%%%%%%% SDN %%%%%%%%%%%
\bibitem{sdn-past-present-future}
A.Bruno, M.Mendonca, X.Nguyen, K.Obraczka, T.Turletti,
``A Survey of Software-Defined Networking: Past,Present, and Future of Programmable Networks'',
IEEE Communications Surveys \& Tutorials,
Vol.\ 16, No.\ 3,
February 2014,
\doi{10.1109/SURV.2014.012214.00180}

\bibitem{sdn-survey}
H.Farhady, H. Lee, A. Nakao,
``Software-Defined Networking: A Survey'',
Computer Networks,
Vol.\ 81,
April 2015,
pp.\ 79-95,
\doi{10.1016/j.comnet.2015.02.014}

\bibitem{SDN-architecture}
Software-Defined Networking:The New Norm for Networks,
\url{https://www.opennetworking.org/images/stories/downloads/sdn-resources/white-papers/wp-sdn-newnorm.pdf}

\bibitem{openflow-report}
N.McKeown, T.Anderson, H.Balakrishnan, G.Parulkar, L.Peterson, J.Rexford, S.Shenker, and J.Turner,
``OpenFlow: Enabling innovation in campus Networks'',
SIGCOMM Computer Communication Review, 
Vol.\ 38, No.\ 2,
pp.\ 69-74, 2008.

%%%%%%% NFV %%%%%%%%%%%

\bibitem{NFV-state-of-art}
R. Mijumbi, J. Serrat, J. Gorricho, N. Bouten, F. De Turck and R. Boutaba,
``Network Function Virtualization: State-of-the-Art and Research Challenges'',
IEEE Communications Surveys \& Tutorials,
Vol.\ 18, No.\ 1,
Firstquarter 2016,
pp.\ 236-262,
\doi{10.1109/COMST.2015.2477041}

\bibitem{NFV-challenge-and-opportunities}
B. Han, V. Gopalakrishnan, L. Ji and S. Lee,
``Network function virtualization: Challenges and opportunities for innovations'',
IEEE Communications Magazine, 
Vol.\ 53, No.\ 2,
February 2015,
pp.\ 90-97,
\doi{10.1109/MCOM.2015.7045396}

\bibitem{ETSI-NFV}
Network Functions Virtualization (NFV),
\url{https://www.etsi.org/deliver/etsi_gs/NFV/001_099/003/01.02.01_60/gs_NFV003v010201p.pdf}

\bibitem{NFV-survey}
B. Yi, X. Wang, K. Li, S. k. Das, M. Huang,
``A comprehensive survey of Network Function Virtualization'',
Computer Networks,
Vol.\ 133,
14 March 2018,
pp.\ 212-262,
\doi{10.1016/j.comnet.2018.01.021}

\bibitem{ETSI-NFV-security}
Network Functions Virtualization (NFV) Security,
\url{https://www.etsi.org/deliver/etsi_gs/NFV-SEC/001_099/003/01.01.01_60/gs_NFV-SEC003v010101p.pdf}

%%%%%%% NSF %%%%%%%%%%%

\bibitem{NSF-01}
E. Kim, K. Kim, S. Lee, J. P. Jeong, H. Kim
``A Framework for Managing User-defined Security Policies to Support Network Security Functions'',
IMCOM,
No.\ 85,
January 2018,
pp.\ 1-8,
\doi{10.1145/3164541.3164569}

\bibitem{NSF-automatic-enforcement}
C. Basile, F. Valenza, A. Lioy, D. R. Lopez, A. P.r Perales,
``Adding Support for Automatic Enforcement of Security Policies in NFV Networks'',

%%%%%%% I2NSF %%%%%%%%%%%

\bibitem{I2NSF-03}
IETF Working group,
\url{https://www.ietf.org/how/wgs/}

\bibitem{I2NSF-01}
J. Jeong, S. Hyun, T. Ahn, S. Hares, D. Lopez,
``Applicability of Interfaces to Network Security Functions to Network-
Based Security Services'',
I2NSF Working Group,
18 March 2020,
\url{https://datatracker.ietf.org/doc/draft-ietf-i2nsf-applicability/?include_text=1}

\bibitem{I2NSF-02}
Interface to Network Security Functions (i2nsf),
\url{https://datatracker.ietf.org/wg/i2nsf/about/}

%%%%%%%% COMPONENTS ANALYSIS %%%%%%%%%%

\bibitem{openstack}
Open Stack project
\url{https://opensource.com/resources/what-is-openstack}

\bibitem{Nping}
Nping project
\url{https://nmap.org/nping/}

\bibitem{iperf3}
iperf3 - perform network throughput tests
\url{https://www.systutorials.com/docs/linux/man/1-iperf3/}

\bibitem{top}
top - display Linux processes
\url{http://man7.org/linux/man-pages/man1/top.1.html}

\bibitem{iptables-1}
iptables wikipedia definition
\url{https://en.wikipedia.org/wiki/Iptables}

\bibitem{ovs}
OVS wikipedia definition
\url{https://en.wikipedia.org/wiki/Open_vSwitch#cite_note-ibm-developerworks-3}

%%%%%%%% path %%%%%%%%

\bibitem{graph-traversal}
Graph traversal definition
\url{https://en.wikipedia.org/wiki/Graph_traversal}

%%%%%%%% Z3 %%%%%%%%%%

\bibitem{z3-01}
z3 Prover source code
\url{https://github.com/Z3Prover/z3}

\bibitem{SMT}
SMT definition
\url{https://en.wikipedia.org/wiki/Satisfiability_modulo_theories}

%%%%%%%%%%% future work %%%%%%%%

\bibitem{polycube}
PolyCube project
\url{https://polycube-network.readthedocs.io/en/latest/components/k8s/pcn-kubernetes.html}



\end{thebibliography}
