Prudent Engineering Practice for Cryptographic Protocols (1994)
by
Martin Abadi
,
Roger Needhamt
| Venue: | Proc. IEEE Computer Society Symposium on Research in Security and Privacy |
| Citations: | 332 - 18 self |
Document Versions
| Prudent Engineering Practice for Cryptographic Protocols –Martin Abadi, Roger Needhamt — 1994 — Proc. IEEE Computer Society Symposium on Research in Security and Privacy |
