Fenrir.tex

\def\babelopt{english,italian}
%% admissible values: bach, mst, phd.
\documentclass[table,target=mst,babel=\babelopt]{thud}

\title{Fenrir: a verified protocol for federated authentication and authorization}
\author{Luca Fulchir}
\date{2014-2015}
\supervisor{Prof.\ Marino Miculan}
%\cosupervisor{}
%% various: \referee, \chair, \address (default:uniud address).
%% use `\and' in \author, \supervisor, \cosupervisor, \referee to put multiple names
%% phd
%\phdnumber{666}
%\rights{Tutti i diritti riservati a me stesso e basta.}
%\homepage{https://www.fenrirproject.org}
%\email{luker@fenrirproject.org}
%\telephone{+39 012 3456789}


\usepackage{tabularx}
\usepackage[utf8]{inputenc}
\usepackage{graphicx}
\usepackage{linkinclude}
\usepackage{hyperref}
\usepackage{listings}
\usepackage{soul}
\usepackage{caption}
\usepackage{mwe}
\usepackage{tikz}
\usetikzlibrary{arrows,shadows,automata,positioning}
\usepackage{amsmath}
\usepackage{framed}
\usepackage{wrapfig}
\usepackage{mdframed}


\usepackage{lettrine}
\setlength{\DefaultNindent}{0pt}
\setcounter{DefaultLines}{2}


%\newcommand{testchapter}{}

%\captionsetup[figure]{justification=justified,singlelinecheck=false}
%\begin{wrapfigure}[0]{l}{0.95\textwidth}
%\vspace{-140pt}
%\includegraphics[width=0.5\textwidth]{xkcd/#4.png} %#4
%\caption*{[xkcd.org] #5} %#5
%\end{wrapfigure}
%\captionsetup[figure]{justification=justified,singlelinecheck=true}
%\vspace{-50pt}


\makeindex

\begin{document}


\maketitle

%\begin{dedication}random randomness is random..\end{dedication}

\acknowledgements
\begin{figure}[h]
    \centering
    \includegraphics[width=0.6\textwidth]{xkcd/team_effort.png}
    \caption*{[xkcd.org] Given the role they play in every process in my body, really, they deserve this award more than me. Just gotta figure out how to give it to them. Maybe I can cut it into pieces to make it easier to swallow ...}
    \label{fig:So standard}
\end{figure}

\abstract
\begin{figure}[h]
    \centering
    \includegraphics[width=0.8\textwidth]{xkcd/authorization.png}
    \caption*{[xkcd.org] What we'll end up solving!}
    \label{fig:So standard}
\end{figure}

\lettrine{T}{his} dissertation proposes a new federated, token-based authentication protocol, that spans multiple ISO layers. By concentrating multiple layers in a single solution the overall complexity of the system decreases, while more security features are easily granted.

The protocol introduces a development model that strictly decouples the application from its security, both on the server side and on the client side. By taking away the complexity of password and session management from the developer the protocol aims at the overall simplification of the development.

Although a federated protocol, the authentication server will not be able to impersonate the user on other services. The authentication server will be a centralized point for the user to check the status of all its devices and authentications on different services, giving a complete view of the account usage to the user. By using an authorization lattice each token will be tied to a maximal authorization, introducing the possibility to limit the user applications scope, further limiting the damage of authentication leakage.


\tableofcontents

%\listoftables

%\listoffigures

\mainmatter

\input{Introduction.tex}

\input{Analysis.tex}

\input{Project.tex}

\input{Formal_Verification.tex}

\input{Implementation.tex}


\input{Validation.tex}

\input{Conclusions.tex}

\appendix

\input{Appendix.tex}

%% bibliography, analytical index etc...
\backmatter

%\summary
%\begin{figure}[h]
%    \centering
%    \includegraphics[width=1\textwidth]{paper.png}
%    \caption{so... yeah... this paper is really about...uh...}
%    \label{fig:Hope it doesn't happen...}
%\end{figure}


\newpage
\bibliographystyle{plain_\languagename}
%% recommended

% xkcd as bibliography title
\renewcommand{\chapter}[2]{
\begin{figure}[h]
    \centering
    \includegraphics[width=0.5\textwidth]{xkcd/citogenesis.png}
    \caption*{[xkcd.org]}
    \label{fig:So standard}
\end{figure}}
\bibliography{thud}
%% use `thebibliography' environment for manual bibliography

\printindex

\end{document}