Introduction

This report describes a project supporting the course of Multi Agent Systems on the University of Groningen. In this report, a simulation of the TLS 1.2 protocol is given which is used to clarify the working of this protocol. TLS 1.2 is also known as SSL 3.3. TLS stands for Transport Layer Security and is designed to able to send messages over the internet in a safe manner. With this safe connection data can only be read by both the client and the server that together form the connection. This means that data is encrypted before it is sent out over the network using the private keys that only client and server know. A man in the middle attack will therefore only be able to obtain data that is encrypted and will not be able to read this data. This ensures a relative security for the data that is being sent. TLS exists of two different layers namely the TLS Record Protocol and the TLS Handshake Protocol.

In the above tabs an explanation and visualisation is given of the TLS 1.2 protocol. Under ‘specifications’, the full RFC 5246 is given which specifies the protocol. In the ‘knowledge’ tab an explanation is given of the protocol in natural language and furthermore in logics. Then a visualisation of the full protocol and it’s logic is given under ‘visualisation’. A man in the middle attack is explained in the ‘man in the middle attack’ tab and under ‘MITM visualisation’ a visualisation of this process is given. Finally under ‘colophon’ a little honour is given to the teachers of the course and to the writers of this report.