Approaches to Modelling Security Scenarios with Domain-Specific Languages

Phillip J. Brooke, Richard F. Paige, Christopher Power

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

210 Downloads (Pure)
Original languageEnglish
Title of host publicationLecture Notes in Computer Science, 7622
PublisherSpringer Verlag
Pages41-54
DOIs
Publication statusPublished - Apr 2012
Event20th International Security Protocols Workshop - Cambridge, United Kingdom
Duration: 12 Apr 201213 Apr 2012
Conference number: 20

Publication series

NameSecurity Protocols XX
Volume7622
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference20th International Security Protocols Workshop
Country/TerritoryUnited Kingdom
CityCambridge
Period12/04/1213/04/12

Cite this