Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem
Article

Formal Verification of Cryptographic Protocols

Luca DurantePolytechnic University of Turin
2009en
ABI

Abstract

No abstract available.

Topics

Advanced Authentication Protocols SecurityUser Authentication and Security SystemsCryptography and Data Security

Citations and references

Cited by 035 references
Metrics — AkademScholar · Coming soon