TU Darmstadt / ULB / TUbiblio

Eliminating Implicit Information Leaks by Transformational Typing and Unification

Köpf, Boris and Mantel, Heiko (2005):
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
In: Proceedings of Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, Newcastle, UK, University of Newcastle, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2005
Creators: Köpf, Boris and Mantel, Heiko
Title: Eliminating Implicit Information Leaks by Transformational Typing and Unification
Language: English
Title of Book: Proceedings of Third International Workshop on Formal Aspects in Security and Trust, FAST 2005
Place of Publication: Newcastle, UK
Publisher: University of Newcastle
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:

Revised version appeared in 2006 in Springer LNCS

Export:

Optionen (nur für Redakteure)

View Item View Item