Formal Security Analysis of EAP-ERP Using Casper.
Khosrow RamezaniElankayer SithirasenanKaile SuPublished in: IEEE Access (2016)
Keyphrases
- security analysis
- smart card
- public key
- high security
- security requirements
- security properties
- security model
- image encryption
- encryption scheme
- formal model
- case study
- authentication protocol
- authentication scheme
- information systems
- user authentication
- encryption algorithm
- formal methods
- databases
- distributed environment
- cost effective
- access control
- query processing
- mutual authentication