TU Darmstadt / ULB / TUbiblio

Preserving Information Flow Properties under Refinement

Mantel, Heiko (2001):
Preserving Information Flow Properties under Refinement.
In: Proceedings of the IEEE Symposium on Security and Privacy, IEEE Computer Society, [Conference or Workshop Item]

Abstract

In a stepwise development process, it is essential thatsystem properties that have been already investigated insome phase need not be re-investigated in later phases. Informal developments, this corresponds to the requirementthat properties are preserved under refinement. While safetyand liveness properties are indeed preserved under moststandard forms of refinement, it is well known that this is,in general, not true for information flow properties, a largeand useful class of security properties. In this article, wepropose a collection of refinement operators as a solutionto this problem. We prove that these operators preserve informationflow as well as other system properties. Thus,information flow properties become compatible with stepwisedevelopment. Moreover, we show that our operatorsare an optimal solution.

Item Type: Conference or Workshop Item
Erschienen: 2001
Creators: Mantel, Heiko
Title: Preserving Information Flow Properties under Refinement
Language: ["languages_typename_1" not defined]
Abstract:

In a stepwise development process, it is essential thatsystem properties that have been already investigated insome phase need not be re-investigated in later phases. Informal developments, this corresponds to the requirementthat properties are preserved under refinement. While safetyand liveness properties are indeed preserved under moststandard forms of refinement, it is well known that this is,in general, not true for information flow properties, a largeand useful class of security properties. In this article, wepropose a collection of refinement operators as a solutionto this problem. We prove that these operators preserve informationflow as well as other system properties. Thus,information flow properties become compatible with stepwisedevelopment. Moreover, we show that our operatorsare an optimal solution.

Title of Book: Proceedings of the IEEE Symposium on Security and Privacy
Publisher: IEEE Computer Society
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 31 Dec 2016 09:57
Identification Number: mantel:preserving-information-flow-properties-under-refinement:2001
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item