Information security, cybersecurity and privacy protection. Verification of cryptographic protocols - Evaluation methods and activities for cryptographic protocols