Information security, cybersecurity and privacy protection. Verification of cryptographic protocols. Framework Part 1, (11th April 2023)