dekker.one
An Uppaal analysis of the connection setup of the TCP protocol.
Changed the template
+71
-13
Report/GDN.tex
+71
-13
Report/GDN.tex
···
1
-
\documentclass[11pt,a4paper]{article}
2
-
\usepackage[utf8]{inputenc}
3
-
\usepackage[british]{babel}
1
+
\documentclass[twocolumn]{article}
2
+
% Fonts and typesetting settings
3
+
\usepackage[sc]{mathpazo}
4
+
\usepackage[T1]{fontenc}
5
+
\linespread{1.05} % Palatino needs more space between lines
6
+
\usepackage{microtype}
7
+
% Page layout
8
+
\usepackage[hmarginratio=1:1,top=32mm,columnsep=20pt]{geometry}
9
+
\usepackage[font=it]{caption}
10
+
\usepackage{paralist}
11
+
% Lettrines
12
+
\usepackage{lettrine}
13
+
% Abstract
14
+
\usepackage{abstract}
15
+
\renewcommand{\abstractnamefont}{\normalfont\bfseries}
16
+
\renewcommand{\abstracttextfont}{\normalfont\small\itshape}
17
+
% Titling (section/subsection)
18
+
\usepackage{titlesec}
19
+
\renewcommand\thesection{\Roman{section}}
20
+
\titleformat{\section}[block]{\large\scshape\centering}{\thesection.}{1em}{}
21
+
% Math Packages
4
22
\usepackage{amsmath}
5
23
\usepackage{amsfonts}
6
24
\usepackage{amssymb}
7
-
\usepackage{algpseudocode}
8
-
\usepackage{graphicx}
9
-
\author{Jip Dekker\\4122100 \and Ben Br\"ucker\\0413291}
10
-
\title{Model checking of the TCP 3-way handshake}
25
+
\newcommand{\xor}{\oplus}
26
+
% Header/footer
27
+
\usepackage{fancyhdr}
28
+
\pagestyle{fancy}
29
+
\fancyhead{}
30
+
\fancyfoot{}
31
+
\fancyhead[C]{Jip Dekker and Ben Br\"ucker $\bullet$ GDN Final Assignment}
32
+
%including sourcecode in text
33
+
\usepackage{verbatim}
34
+
35
+
% ------
36
+
% Clickable URLs (optional)
37
+
\usepackage{hyperref}
38
+
% ------
39
+
% Maketitle metadata
40
+
\title{\vspace{-15mm}%
41
+
\fontsize{24pt}{10pt}\selectfont
42
+
\textbf{Model checking of the TCP 3-way handshake}
43
+
}
44
+
\author{%
45
+
\large
46
+
\textsc{Jip Dekker} \\[2mm]
47
+
\normalsize Radboud University Nijmegen \\
48
+
\normalsize 4122100
49
+
\vspace{-5mm}
50
+
\and
51
+
\large
52
+
\textsc{Ben Br\"ucker} \\[2mm]
53
+
\normalsize Radboud University Nijmegen \\
54
+
\normalsize 0413291
55
+
\vspace{-5mm}
56
+
}
57
+
\date{}
58
+
\bibliographystyle{ieeetran}
59
+
\usepackage[pdftex]{graphicx}
60
+
%%%%%%%%%%%%%%%%%%%%%%%%
11
61
12
62
13
63
\begin{document}
14
-
\maketitle
64
+
65
+
\twocolumn[\begin{@twocolumnfalse}
66
+
\maketitle
67
+
\begin{abstract}
68
+
\noindent Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract
69
+
\end{abstract}
70
+
\end{@twocolumnfalse}]
15
71
16
-
\section*{Abstract}
72
+
\thispagestyle{fancy}
17
73
18
-
\section*{Introduction}
74
+
\lettrine[nindent=0em,lines=3]{I} ntroduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction .
19
75
20
-
\section{Modeling the TCP handshake}
76
+
\section*{Modeling the TCP handshake}
77
+
We will now discuss how we modeled the TCP handshake of rfc793 as an Uppaal model.
21
78
22
-
\section{Model checking and verification}
79
+
\section*{Model checking and verification}
23
80
24
81
\section*{Conclusions}
25
82
26
83
27
-
\end{document}
84
+
85
+
\end{document}