A domain-specific language for cryptographic protocols based on streams

DOI10.1016/j.jlap.2008.08.006zbMath1161.68018OpenAlexW2001362861MaRDI QIDQ1001891

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

cryptographic protocolsautomated theorem proverssecurity analysis

Mathematics Subject Classification ID

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

Uses Software

• SETHEO
• SecureUML
• TPTP
• E-SETHEO

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An attack on a recursive authentication protocol. A cautionary tale
• A calculus for cryptographic protocols: The spi calculus
• Three systems for cryptographic protocol analysis
• Evaluating general purpose automated theorem proving systems
• Specification and Development of Interactive Systems
• Secure Systems Development with UML
• Automatic verification of cryptographic protocols with SETHEO
• The algebra of stream processing functions

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