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}