Quantitative Security Analysis (Dagstuhl Seminar 12481).
Boris KöpfPasquale MalacariaCatuscia PalamidessiPublished in: Dagstuhl Reports (2012)
Keyphrases
- security analysis
- public key
- smart card
- security requirements
- high security
- security properties
- security model
- authentication protocol
- user authentication
- encryption algorithm
- image encryption
- authentication scheme
- encryption scheme
- mutual authentication
- real time
- fine grained
- private key
- low cost
- software engineering
- video sequences