Formal security analysis of authentication in SNMPv3 protocol by an automated tool.
Sepideh AsadiHadi Shahriar ShahhoseiniPublished in: IST (2012)
Keyphrases
- security analysis
- authentication protocol
- mutual authentication
- security requirements
- public key
- symmetric key
- user authentication
- smart card
- security properties
- high security
- encryption scheme
- security model
- image encryption
- authentication scheme
- secure electronic
- key exchange
- encryption algorithm
- elliptic curve cryptography
- private key
- key distribution
- software development