VERIFICATION OF THE SSL/TLS PROTOCOL USING A MODEL CHECKABLE LOGIC OF BELIEF AND TIME