This document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.