Gay, Richard ; Mantel, Heiko ; Sprick, Barbara
Hrsg.: TU Darmstadt (2011)
Service Automata.
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
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.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2011 |
| Autor(en): | Gay, Richard ; Mantel, Heiko ; Sprick, Barbara |
| Art des Eintrags: | Bibliographie |
| Titel: | Service Automata |
| Sprache: | Englisch |
| Publikationsjahr: | September 2011 |
| Buchtitel: | Preproceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST) |
| Zugehörige Links: | |
| Kurzbeschreibung (Abstract): | 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. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS) 20 Fachbereich Informatik |
| Hinterlegungsdatum: | 04 Okt 2011 12:56 |
| Letzte Änderung: | 05 Mär 2013 09:54 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum