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

Publisher Website

1 April 1984

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/sp.1984.10009

Abstract

No abstract available

Keywords

Cited by 3 articles