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, Oakland, CA, USA, IEEE Computer Society, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2001
Creators: Mantel, Heiko
Title: Preserving Information Flow Properties under Refinement
Language: German
Title of Book: Proceedings of the IEEE Symposium on Security and Privacy
Place of Publication: Oakland, CA, USA
Publisher: IEEE Computer Society
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 09 Apr 2010 14:10
Additional Information:

mantel:preserving-information-flow-properties-under-refinement:2001b

Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item