Information security, cybersecurity and privacy protection. Verification of cryptographic protocols. - Part 1: Framework