Implementing Prover-Side Proximity Verification for Strengthening Transparent Authentication.
Mika JuutiChristian VaasHans LiljestrandIvo SluganovicN. AsokanIvan MartinovicPublished in: SECON (2017)
Keyphrases
- integrity verification
- multimodal biometrics
- signature verification
- theorem prover
- theorem proving
- biometric authentication
- model checking
- user authentication
- authentication scheme
- spatial proximity
- high security
- formal verification
- fragile watermarking
- data sets
- authentication mechanism
- false acceptance rate
- image authentication
- java card