The Open UniversitySkip to content

A domain-specific language for cryptographic protocols based on streams

Jurjens, Jan (2009). A domain-specific language for cryptographic protocols based on streams. Journal of Logic and Algebraic Programming, 78(2) pp. 54–73.

DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


Developing security-critical systems is difficult and there are many well-known examples of security weaknesses exploited in practice. Thus a sound methodology supporting secure systems development is urgently needed. In particular, an important missing link in the construction of secure systems is finding a practical way to create reliably secure crypto protocol implementations. We present an approach that aims to address this need by making use of a domain-specific language for crypto protocol implementations. One can use this language to construct a compact and precise yet executable representation of a cryptographic protocol. This high-level program can be verified against the security goals using automated theorem provers for first order logic. One can then use it to provide assurance for legacy implementations of crypto protocols by generating test-cases.

Item Type: Journal Article
Copyright Holders: 2009 Elsevier
ISSN: 1567-8326
Keywords: cryptographic protocols; security analysis;
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Mathematics, Computing and Technology
Item ID: 18352
Depositing User: Colin Smith
Date Deposited: 08 Sep 2009 09:24
Last Modified: 15 Jan 2016 11:49
Share this page:


Scopus Citations

▼ Automated document suggestions from open access sources

Actions (login may be required)

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340