Formal modeling CPN Tools handshake protocol analysis TLS1.3

1, the top model

 

 2, the client terminal physical layer model

 

 3, a physical layer model server

 

 4, physical layer network model

 

 5, one attacker model

 

 6, simulation