A domain-specific language for cryptographic protocols based on streams

DOI10.1016/J.JLAP.2008.08.006MaRDI QIDQ1001891zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

automated theorem proverscryptographic protocolssecurity analysis

Mathematics Subject Classification ID

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

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)

Cites work

• scientific article; zbMATH DE number 1612568 (Why is no real title available?)
• scientific article; zbMATH DE number 1341618 (Why is no real title available?)
• scientific article; zbMATH DE number 1946752 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• An attack on a recursive authentication protocol. A cautionary tale
• Automatic verification of cryptographic protocols with SETHEO
• Evaluating general purpose automated theorem proving systems
• Secure Systems Development with UML
• Security protocols and their properties
• Specification and Development of Interactive Systems
• The algebra of stream processing functions
• Three systems for cryptographic protocol analysis

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

Describes a project that uses

Uses Software

• E-SETHEO
• TPTP
• SecureUML
• 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)