2010 | OriginalPaper | Buchkapitel
Secure Information Flow for Distributed Systems
verfasst von : Rafael Alpízar, Geoffrey Smith
Erschienen in: Formal Aspects in Security and Trust
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. The language has high and low data and is limited only by the Denning restrictions; this is a significant relaxation as compared to previous languages for concurrency. We argue that distributed systems in the abstract language are
observationally deterministic
, and use this result to show that well-typed systems satisfy termination-insensitive noninterference; our proof is based on concepts of
stripping
and
fast simulation
, which are a valuable alternative to
bisimulation
. We then informally explore approaches to implement this language concretely, in the context of a wireless network where there is a risk of eavesdropping of network messages. We consider how asymmetric cryptography could be used to realize the confidentiality of the abstract language.