Fenrir.tex

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


%\title{Fenrir: a verified protocol for federated authentication and authorization}
%\author{Luca Fulchir}
%\date{2014-2015}
%\supervisor{Prof.\ Marino Miculan}



\title{Fenrir: a verified protocol for federated authentication and authorization}
\author{Luca Fulchir}
\course{Informatica}
\supervisor{Prof.\ Marino Miculan}
%\cosupervisor{Dott.\ Remo Mori\and Dott.\ Dario Lampa}
%% Altri campi disponibili: \reviewer, \tutor, \chair, \date (anno accademico, calcolato in automatico).
%% Con \supervisor, \cosupervisor, \reviewer e \tutor si possono indicare pi<F9> nomi separati da \and.
%% Per le sole tesi di dottorato
%\phdnumber{313}
%\cycle{XXVIII}
%\contacts{Via della Sintassi Astratta, 0/1\\65536 Gigatera --- Italia\\+39 0123 456789\\\texttt{http://www.example.com}\\\texttt{inbox@ex
%		ample.com}}
%\rights{Tutti i diritti riservati a me stesso e basta.}

\usepackage[utf8]{inputenc}
\usepackage{tabularx}
\usepackage[usenames,dvipsnames,table]{xcolor}
\usepackage{graphicx}
\usepackage{linkinclude}
\usepackage{hyperref}
\usepackage{listings}
\usepackage{soul}
\usepackage{caption}
\usepackage{mwe}
\usepackage{tikz}
\usepackage{pgf-umlsd}
\usetikzlibrary{arrows,shadows,automata,positioning}
\usepackage{amsmath}
\usepackage{framed}
\usepackage{wrapfig}
\usepackage{mdframed}

\usepackage[T1]{fontenc}
\usepackage{lettrine}
  \renewcommand{\DefaultLoversize}{1}
\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 OSI	 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. It 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{Validation.tex}

\input{Implementation.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}