TU Darmstadt / ULB / TUbiblio

Eliminating Implicit Information Leaks by Transformational Typing and Unification

Köpf, Boris and Mantel, Heiko
Dimitrakos, Theodosis and Martinelli, Fabio and Ryan, Peter Y. A. and Schneider, Steve (eds.) (2006):
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
In: Revised Selected Papers, Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, Springer Verlag, In: LNCS, 3866, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2006
Editors: Dimitrakos, Theodosis and Martinelli, Fabio and Ryan, Peter Y. A. and Schneider, Steve
Creators: Köpf, Boris and Mantel, Heiko
Title: Eliminating Implicit Information Leaks by Transformational Typing and Unification
Language: English
Title of Book: Revised Selected Papers, Formal Aspects in Security and Trust, Third International Workshop, FAST 2005
Series Name: LNCS
Volume: 3866
Place of Publication: Newcastle upon Tyne, UK
Publisher: Springer Verlag
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:

kopf.ea:eliminating-implicit-information-leaks-by-transformational-typing-and-unification:2006b

Export:

Optionen (nur für Redakteure)

View Item View Item