From 7a296fb73292ac405146b4ac6a5f748fcc8a1a92 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ben=20Br=C3=BCcker?= Date: Tue, 4 Feb 2014 21:02:15 +0100 Subject: [PATCH] Bit more conclusion --- Report/GDN.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Report/GDN.tex b/Report/GDN.tex index abcc3bd..8f06160 100644 --- a/Report/GDN.tex +++ b/Report/GDN.tex @@ -280,7 +280,7 @@ or Host1.SynSent) and Host2.Established) \section{Conclusions} - In this report we have proven the correctness of the basic three-way handshake and the simultaneous connection set-up on a simplified model of the TCP handshake. + In this report we have proven the correctness of the basic three-way handshake and the simultaneous connection set-up on a simplified model of the TCP handshake. In order to check the model of a more realistic implementation of the TCP protocol, one has to add some missing parts, like the use of reset packets. \end{document}