spec/main.tex at master · TurmsApp/spec · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
\documentclass[11pt,a4paper]{scrreprt}

\usepackage{draftwatermark}

\usepackage[left=2.5cm,right=2.5cm,top=2.5cm,bottom=2.5cm]{geometry}
\usepackage{svg}
\usepackage{graphicx}

\usepackage{erewhon}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage{csquotes}

\usepackage[natbib=true,backend=bibtex]{biblatex}
\addbibresource{refs.bib}

\newcommand{\theauthor}{Gravitalia}
\newcommand{\thetitle}{Turms specification}
\newcommand{\theversion}{0.1.0}

\title{\thetitle}
\author{v\theversion\\\theauthor}
\date{2025-10-24}

% Metadata
\usepackage{hyperref}
\hypersetup{
    pdfauthor={\theauthor},
    pdftitle={\thetitle},
}

% TikZ
\usepackage{tikz}
\usepackage{tikz-uml}
\usepackage{pgfplots}

% Miscellaneous
\usepackage{multicol}
\usepackage{listings}
\usepackage{xcolor} % Driver-independent color extensions for LaTeX
\usepackage[inline,shortlabels]{enumitem}

% Mathematics
\usepackage{amsmath}

% Appendix
\usepackage{appendix}
\usepackage{pdfpages}

\begin{document}

\maketitle
\tableofcontents
\newpage

\section*{Terminology}

\input{terminology}

\chapter{Introduction}
\label{chap:intro}

\input{introduction/main}

\chapter{Authentification}
\input{authentification/main}

\chapter{Messages}
\input{messages/main}

\chapter{Session Establishment and Key Exchange}
\input{session/main}

%\chapter{Discovery server}
%\label{chap:discovery}

%\section{Decentralized authentification}

%\section{Message buffering}

\printbibliography

\clearpage
\appendix

\begin{appendices}
\addcontentsline{toc}{chapter}{Démonstration de la résilience d'un réseau P2P}
\includepdf[pages={-},
            pagecommand={\thispagestyle{plain}}
           ]{appendices/resilience.pdf}
\end{appendices}

\end{document}