Architecting security with Paradigm

S. Andova, L.P.J. Groenewegen, J.H.S. Verschuren, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

5 Citations (Scopus)
160 Downloads (Pure)

Abstract

For large security systems a clear separation of concerns is achieved through architecting. Particularly the dynamic consistency between the architectural components should be addressed, in addition to individual component behaviour. In this paper, relevant dynamic consistency is specified through Paradigm, a coordination modeling language based on dynamic constraints. As it is argued, this fits well with security issues. A smaller example introduces the architectural approach towards implementing security policies. A larger casestudy illustrates the use of Paradigm in analyzing the FOO voting scheme. In addition, translating the Paradigm models into process algebra brings model checking within reach. Security properties of the examples discussed, are formally verified with the model checker mCRL2.
Original languageEnglish
Title of host publicationArchitecting Dependable Systems VI
EditorsR. Lemos, de, J.C. Fabre, C. Gacek, F. Gadducci, M. Beek, ter
Place of PublicationBerlin
PublisherSpringer
Pages255-283
ISBN (Print)978-3-642-10247-9
DOIs
Publication statusPublished - 2009

Publication series

NameLecture notes in computer science
Volume5835

Fingerprint

Dive into the research topics of 'Architecting security with Paradigm'. Together they form a unique fingerprint.

Cite this