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: http://dx.doi.org/10.1016/j.jlap.2008.08.006
Google Scholar: Look up in Google Scholar

Abstract

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
Item ID: 18352
Depositing User: Colin Smith
Date Deposited: 08 Sep 2009 09:24
Last Modified: 23 Oct 2012 14:38
URI: http://oro.open.ac.uk/id/eprint/18352
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk