The Protocol Derivation Assistant

No abstract is available for this paper.

• Publication year

  2006

• Venue

  Unknown venue

• Publication date

  Unknown publication date

• Fields of study

  Not labeled

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Deriving Secure Network Protocols for Enterprise Services Architectures

  2006cited by this paper
• An encapsulated authentication logic for reasoning about key distribution protocols

  2005cited by this paper
• A derivation system and compositional logic for security protocols

  2005cited by this paper
• Deriving, Attacking and Defending the GDOI Protocol

  2004influential reference
• A Guide to Snark

  2000cited by this paper
• Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)*

  2000cited by this paper
• Information-Theoretic Cryptography

  1999cited by this paper
• Modeling concurrency with partial orders

  1986cited by this paper
• On the security of public key protocols

  1981cited by this paper
• New Directions in Cryptography

  1976cited by this paper
• Communication theory of secrecy systems

  1949cited by this paper

• Proving Authentication Properties in the Protocol Derivation Assistant

  2006cites this paper
• Deriving Secure Network Protocols for Enterprise Services Architectures

  2006influential citation