% implementation and testing

This chapter has the purpose to show the tools exploited for the optimization process and the techniques used to implement a framework which gets support to the security administrator during the policy definition and the infrastructure management.

\section{Policy conflict analysis Implementation}
\input{latex_files/implementation_testing/policy_impl.tex}
\clearpage

\section{Path finder Implementation}
\input{latex_files/implementation_testing/path_impl.tex}
\clearpage

\section{z3 Prover}
\input{latex_files/implementation_testing/z3.tex}
\clearpage

\section{Optimization Development}
\input{latex_files/implementation_testing/optimization_impl.tex}
\clearpage

%\section{Testing}
%\input{latex_files/implementation_testing/testing.tex}