Authentication Primitives and Their Compilation.
Martín AbadiCédric FournetGeorges GonthierPublished in: POPL (2000)
Keyphrases
- biometric authentication
- high level
- low level
- building blocks
- identity authentication
- authentication protocol
- keystroke dynamics
- authentication scheme
- code generation
- fragile watermarking
- authentication mechanism
- image authentication
- security mechanisms
- case study
- user authentication
- key distribution
- identity management
- knowledge compilation
- security analysis
- data encryption
- security requirements
- semi fragile watermarking