Login / Signup

Daemones Non Operantur Nisi Per Artem - Daemons Do Not Operate Save Through Trickery: Human Tailored Threat Models for Formal Verification of Fail-Safe Security Ceremonies.

Taciane MartimianoJean Everson Martina
Published in: Security Protocols Workshop (2018)
Keyphrases
  • formal verification
  • probabilistic model
  • information security
  • access control
  • information systems
  • model selection
  • model checking
  • security issues
  • model checker
  • bounded model checking