By the same authors

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

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



Publication details

Title of host publicationSecurity Protocols XX
DatePublished - 2012
Number of pages14
Volume7622 LNCS
Original languageEnglish
ISBN (Electronic)978-3-642-35694-0
ISBN (Print)978-3-642-35693-3

Publication series

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


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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations