Security Analysis for Randomness Improvements for Security Protocols.
Liliya R. AkhmetzyanovaCas CremersLuke GarrattStanislav V. SmyshlyaevPublished in: IACR Cryptol. ePrint Arch. (2018)
Keyphrases
- security analysis
- security protocols
- security properties
- security requirements
- authentication protocol
- smart card
- security mechanisms
- public key
- high security
- secure communication
- image encryption
- user authentication
- information security
- elliptic curve cryptography
- software architecture
- key management
- access control
- rfid tags
- encryption scheme
- security policies
- key distribution
- formal model
- operating system
- similarity measure