High assurance cryptographic interface specification