• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Eike StadtländerMichael Nüsken
Published in: Krypto-Tag (2018)
Keyphrases
  • security analysis
  • formal model
  • databases
  • security model
  • similarity measure
  • multiresolution
  • distributed environment
  • data access