Information Assurance for Security Protocols