DNSsec in Isabelle - Replay Attack and Origin Authentication.
Florian KammüllerYoney Kirsal EverXiaochun ChengPublished in: SMC (2013)
Keyphrases
- theorem prover
- biometric authentication
- user authentication
- image authentication
- fragile watermarking
- data sets
- data encryption
- authentication scheme
- machine learning
- information systems
- natural deduction
- authentication protocol
- theorem proving
- wireless networks
- lightweight
- authentication mechanism
- fuzzy vault
- neural network