Service automata

Publikationstyp
Conference Paper
Date Issued
2011-09
Sprache
English
Author(s)
Gay, Richard  
Mantel, Heiko 
Sprick, Barbara  
TORE-URI
http://hdl.handle.net/11420/13867
First published in
Lecture notes in computer science  
Number in series
7140 LNCS
Start Page
148
End Page
163
Citation
Lecture Notes in Computer Science 7140 LNCS: 148-163 (2012-07-23)
Contribution to Conference
8th International Workshop on Formal Aspects of Security and Trust, FAST 2011  
Publisher DOI
10.1007/978-3-642-29420-4_10
Scopus ID
2-s2.0-84863974134
Publisher
Springer
We propose a novel framework for reliably enforcing security in distributed systems. Service automata monitor the execution of a distributed program and enforce countermeasures before a violation of a security policy can occur. A key novelty of our proposal is that security is enforced in a decentralized though coordinated fashion. This provides the basis for reliably enforcing global security requirements without introducing unnecessary latencies or communication overhead. The novel contributions of this article include the concept of service automata and a generic formalization of service automata in CSP. We also illustrate how the generic model can be tailored to given security requirements by instantiating its parameters in a stepwise and modular manner.
DDC Class
004: Informatik