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)
148 Downloads (Pure)


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
ISBN (Print)978-3-642-10247-9
Publication statusPublished - 2009

Publication series

NameLecture notes in computer science


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

Cite this