Automatic Security Analysis in the Symbolic Model using Tamarin-Prover.

Eike Stadtländer Michael Nüsken

Published in: Krypto-Tag (2018)

Keyphrases

security analysis
formal model
databases
security model
similarity measure
multiresolution
distributed environment
data access