![](/img/cover-not-exists.png)
[IEEE 1984 IEEE Symposium on Security and Privacy - Oakland, CA, USA (1984.4.29-1984.5.2)] 1984 IEEE Symposium on Security and Privacy - Formal Verification of a Secure Network with End-to-End Encryption
Britton, Dianne E.Year:
1984
Language:
english
DOI:
10.1109/SP.1984.10009
File:
PDF, 999 KB
english, 1984