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

Phillip J. Brooke; Richard Freeman Paige; Christopher Douglas Power

doi:10.1007/978-3-642-35694-0_6

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

Phillip J. Brooke, Richard Freeman Paige, Christopher Douglas Power

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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 language	English
Title of host publication	Security Protocols XX
Subtitle of host publication	20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers
Publisher	Springer
Pages	41-54
Number of pages	14
Volume	7622 LNCS
ISBN (Electronic)	978-3-642-35694-0
ISBN (Print)	978-3-642-35693-3
DOIs	https://doi.org/10.1007/978-3-642-35694-0_6
Publication status	Published - 2012
Event	20th International Workshop on Security Protocols - Cambridge, United Kingdom Duration: 12 Apr 2012 → 13 Apr 2012

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7622
ISSN (Print)	0302-9743

Conference

Conference	20th International Workshop on Security Protocols
Country/Territory	United Kingdom
City	Cambridge
Period	12/04/12 → 13/04/12

Access to Document

10.1007/978-3-642-35694-0_6

http://link.springer.com/chapter/10.1007/978-3-642-35694-0_6

Cite this

Brooke, P. J., Paige, R. F., & Power, C. D. (2012). Approaches to Modelling Security Scenarios with Domain-Specific Languages: 41-54. In Security Protocols XX: 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers (Vol. 7622 LNCS, pp. 41-54). (Lecture Notes in Computer Science; Vol. 7622). Springer. https://doi.org/10.1007/978-3-642-35694-0_6

@inproceedings{bc9a684c05944779a65e69df29290d64,

title = "Approaches to Modelling Security Scenarios with Domain-Specific Languages: 41-54",

abstract = "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.",

author = "Brooke, {Phillip J.} and Paige, {Richard Freeman} and Power, {Christopher Douglas}",

year = "2012",

doi = "10.1007/978-3-642-35694-0_6",

language = "English",

isbn = "978-3-642-35693-3",

volume = "7622 LNCS",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "41--54",

booktitle = "Security Protocols XX",

address = "Germany",

note = "20th International Workshop on Security Protocols ; Conference date: 12-04-2012 Through 13-04-2012",

}

Brooke, PJ, Paige, RF & Power, CD 2012, Approaches to Modelling Security Scenarios with Domain-Specific Languages: 41-54. in Security Protocols XX: 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers. vol. 7622 LNCS, Lecture Notes in Computer Science, vol. 7622, Springer, pp. 41-54, 20th International Workshop on Security Protocols, Cambridge, United Kingdom, 12/04/12. https://doi.org/10.1007/978-3-642-35694-0_6

Approaches to Modelling Security Scenarios with Domain-Specific Languages: 41-54. / Brooke, Phillip J.; Paige, Richard Freeman ; Power, Christopher Douglas.
Security Protocols XX: 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers. Vol. 7622 LNCS Springer, 2012. p. 41-54 (Lecture Notes in Computer Science; Vol. 7622).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Approaches to Modelling Security Scenarios with Domain-Specific Languages

T2 - 20th International Workshop on Security Protocols

AU - Brooke, Phillip J.

AU - Paige, Richard Freeman

AU - Power, Christopher Douglas

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-35694-0_6

DO - 10.1007/978-3-642-35694-0_6

M3 - Conference contribution

SN - 978-3-642-35693-3

VL - 7622 LNCS

T3 - Lecture Notes in Computer Science

SP - 41

EP - 54

BT - Security Protocols XX

PB - Springer

Y2 - 12 April 2012 through 13 April 2012

ER -