Proving Authentication Properties in the Protocol Derivation Assistant

Documenti analoghi

• Deriving secure network protocols for enterprise service architectures
  di: Anlauff, M, et al.
  Pubblicazione: (2006)
• A compositional logic for proving security properties of protocols
  di: Durgin, N, et al.
  Pubblicazione: (2004)
• Deriving ephemeral authentication
  di: Pavlovic, D, et al.
  Pubblicazione: (2009)
• Deriving authentication for pervasive security
  di: Pavlovic, D, et al.
  Pubblicazione: (2008)
• Proving the Herman-Protocol Conjecture
  di: Bruna, M, et al.
  Pubblicazione: (2016)