Proving Authentication Properties in the Protocol Derivation Assistant

Παρόμοια τεκμήρια

• Deriving secure network protocols for enterprise service architectures
  ανά: Anlauff, M, κ.ά.
  Έκδοση: (2006)
• A compositional logic for proving security properties of protocols
  ανά: Durgin, N, κ.ά.
  Έκδοση: (2004)
• Deriving ephemeral authentication
  ανά: Pavlovic, D, κ.ά.
  Έκδοση: (2009)
• Deriving authentication for pervasive security
  ανά: Pavlovic, D, κ.ά.
  Έκδοση: (2008)
• Proving the Herman-Protocol Conjecture
  ανά: Bruna, M, κ.ά.
  Έκδοση: (2016)