Formal Security Analysis of Traditional and Electronic Exams.
Jannik DreierRosario GiustolisiAli KassemPascal LafourcadeGabriele LenziniPeter Y. A. RyanPublished in: ICETE (Selected Papers) (2014)
Keyphrases
- security analysis
- public key
- smart card
- high security
- security requirements
- security properties
- image encryption
- formal methods
- encryption scheme
- authentication protocol
- proxy signature scheme
- mutual authentication
- formal model
- user authentication
- secure electronic
- authentication scheme
- information sharing
- lightweight
- software development