Approaches to Modelling Security Scenarios with Domain-Specific Languages: 41-54

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Many security scenarios involve both network and cryptographic protocols and the interactions of different human participants in a real-world environment. Modelling these scenarios is complex, in part due to the imprecision and under-specification of the tasks and properties involved. We present work-in-progress on a domain-specific modelling approach for such scenarios; the approach is intended to support coarse-grained state exploration, and incorporates a classification of elements complementary to computer protocols, such as the creation, personalisation, modification and transport of identity tokens. We propose the construction of a domain-specific language for capturing these elements, which will in turn support domain-specific analyses related to the reliability and modifiability of said scenarios.
Original languageEnglish
Title of host publicationSecurity Protocols XX
Subtitle of host publication20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers
Number of pages14
Volume7622 LNCS
ISBN (Electronic)978-3-642-35694-0
ISBN (Print)978-3-642-35693-3
Publication statusPublished - 2012
Event20th International Workshop on Security Protocols - Cambridge, United Kingdom
Duration: 12 Apr 201213 Apr 2012

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference20th International Workshop on Security Protocols
Country/TerritoryUnited Kingdom

Cite this