https://1library.net/document/q72d0kkz-analysis-of-the-transport-layer-security-protocol.html