TU Darmstadt / ULB / TUbiblio

Combining Different Proof Techniques for Verifying Information Flow Security

Mantel, Heiko and Sudbrock, Henning and Kraußer, Tina
Puebla, German (ed.) (2006):
Combining Different Proof Techniques for Verifying Information Flow Security.
In: In Pre-Proceedings of 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, Venice, Italy, Raporta di Ricerca CS-2006-5, Università Ca' Foscari Di Venezia, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2006
Editors: Puebla, German
Creators: Mantel, Heiko and Sudbrock, Henning and Kraußer, Tina
Title: Combining Different Proof Techniques for Verifying Information Flow Security
Language: English
Title of Book: In Pre-Proceedings of 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006
Place of Publication: Venice, Italy
Publisher: Raporta di Ricerca CS-2006-5, Università Ca' Foscari Di Venezia
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:

heiko-mantel-and-henning-sudbrock-and-tina-krauer:combining-different-proof-techniques-for-verifying-information-flow-security:2006a

Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item