A domain-specific language for cryptographic protocols based on streams

DOI10.1016/J.JLAP.2008.08.006zbMATH Open1161.68018OpenAlexW2001362861MaRDI QIDQ1001891FDOQ1001891

Authors: Jan Jürjens 

Publication date: 19 February 2009

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2008.08.006

Recommendations

• G2C: cryptographic protocols from goal-driven specifications
• Three systems for cryptographic protocol analysis
• Abstracting cryptographic protocols with tree automata.
• Verified interoperable implementations of security protocols
• Practical Formal Methods for Real World Cryptography (Invited Talk)

zbMATH Keywords

automated theorem proverscryptographic protocolssecurity analysis

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Cites Work

• Title not available (Why is that?)
• A calculus for cryptographic protocols: The spi calculus
• Evaluating general purpose automated theorem proving systems
• An attack on a recursive authentication protocol. A cautionary tale
• Specification and Development of Interactive Systems
• The algebra of stream processing functions
• Title not available (Why is that?)
• Security protocols and their properties
• Three systems for cryptographic protocol analysis
• Title not available (Why is that?)
• Secure Systems Development with UML
• Automatic verification of cryptographic protocols with SETHEO

Cited In (3)

• A formal language for cryptographic protocol requirements
• A domain-specific language for computing on encrypted data. (Invited talk)
• G2C: cryptographic protocols from goal-driven specifications

Uses Software

• SETHEO
• SecureUML
• TPTP
• E-SETHEO

This page was built for publication: A domain-specific language for cryptographic protocols based on streams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1001891)