C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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