SIMULATION INTEROPERABILITY PROTOCOL TLS BASED PETRI NETS WHEN IMPLEMENTING SECURE CONNECTIONS
The analysis of the functioning of the transport layer security protocol TLS, which allowed to identify the main functional requirements to it. Network dynamic model is presented verbally and formally taking into account features implemented protocol processing algorithm discussed client request server. We give a complete description of the model, including position descriptions, transitions, initial marking network and reachability tree. Analysis of the properties of the dynamic model helps to get important information about the structure and dynamic behavior of the modeled system. As a result of modeling the bottleneck protocol, leading to delays in service and provides a solution to eliminate it