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: Revised version appeared 2006 in Springer LNCS, Zürich, [Report]

Item Type: Report
Erschienen: 2005
Creators: Köpf, Boris and Mantel, Heiko
Title: Eliminating Implicit Information Leaks by Transformational Typing and Unification
Language: English
Series Name: Revised version appeared 2006 in Springer LNCS
Place of Publication: Zürich
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 2006 in Springer LNCS

Identification Number: 498
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details