Security Proof of AugPAKE.
SeongHan ShinKazukuni KobaraHideki ImaiPublished in: IACR Cryptol. ePrint Arch. (2010)
Keyphrases
- security issues
- access control
- security requirements
- security problems
- intrusion detection
- information security
- computer security
- information assurance
- network security
- security policies
- functional requirements
- security measures
- linear logic
- data security
- security systems
- security protocols
- data sets
- security vulnerabilities
- computer systems
- cryptographic protocols
- rfid tags
- data integrity
- security mechanisms
- statistical databases
- biometric systems