Information flow control and applications - Bridging a gap

Publikationstyp
Conference Paper
Date Issued
2001-03
Sprache
English
Author(s)
Mantel, Heiko 
TORE-URI
http://hdl.handle.net/11420/14014
First published in
Lecture notes in computer science  
Number in series
2021 LNCS
Start Page
153
End Page
172
Citation
Lecture Notes in Computer Science 2021 LNCS: 153-172 (2001)
Contribution to Conference
10th International Symposium of Formal Methods Europe, FME 2001  
Publisher DOI
10.1007/3-540-45251-6_9
Scopus ID
2-s2.0-84881123660
Publisher
Springer
The development of formal security models is a difficult, time consuming, and expensive task. This development burden can be consid-erably reduced by using generic security models. In a security model, confidentiality as well as integrity requirements can be expressed by restrictions on the information flow. Generic models for controling information flow in distributed systems have been thoroughly investigated. Nevertheless, the known approaches cannot cope with common features of secure distributed systems like channel control, information filters, or explicit downgrading. This limitation caused a major gap which has prevented the migration of a large body of research into practice. To bridge this gap is the main goal of this article.
DDC Class
004: Informatik