Formal Verification of a Secure Network with End-to-End Encryption.

D. E. Britton

Browse the full SP paper archive.