The Design and Verification of a Cryptographic Security Architecture - Ontify