332 Software Security Assurance State-of-the-Art Report (SOAR)
Software Security Assurance State-of-the-Art Report (SOAR) 333
Appendix E Security Functionality
To verify the correctness of protocols and implementations of cryptographic