Formal Security Verification of a Dynamic Password-Based User Authentication Scheme for Hierarchical Wireless Sensor Networks.
Ashok Kumar DasSantanu ChatterjeeJamuna Kanta SingPublished in: SSCC (2013)
Keyphrases
- user authentication
- authentication scheme
- wireless sensor networks
- security analysis
- information security
- authentication protocol
- image encryption
- high security
- security flaws
- key agreement
- key management
- formal methods
- elliptic curve cryptography
- resource constrained
- smart card
- public key
- security issues
- biometric systems
- feature extraction
- security protocols
- cryptographic protocols
- intrusion detection
- image authentication