Demarcation of Security in Authentication Protocols.
Naveed AhmedChristian Damsgaard JensenPublished in: SysSec@DIMVA (2011)
Keyphrases
- authentication protocol
- security analysis
- smart card
- ban logic
- security protocols
- user authentication
- formal analysis
- cryptographic protocols
- lightweight
- public key
- rfid tags
- rfid systems
- key distribution
- security requirements
- session key
- security problems
- end to end
- security mechanisms
- security issues
- security properties
- hash functions
- real time