TU Darmstadt / ULB / TUbiblio

Eliminating Implicit Information Leaks by Transformational Typing and Unification

Köpf, Boris ; Mantel, Heiko
Hrsg.: Dimitrakos, Theodosis ; Martinelli, Fabio ; Ryan, Peter Y. A. ; Schneider, Steve (2006)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2006
Herausgeber: Dimitrakos, Theodosis ; Martinelli, Fabio ; Ryan, Peter Y. A. ; Schneider, Steve
Autor(en): Köpf, Boris ; Mantel, Heiko
Art des Eintrags: Bibliographie
Titel: Eliminating Implicit Information Leaks by Transformational Typing and Unification
Sprache: Englisch
Publikationsjahr: Juli 2006
Ort: Newcastle upon Tyne, UK
Verlag: Springer Verlag
Buchtitel: Revised Selected Papers, Formal Aspects in Security and Trust, Third International Workshop, FAST 2005
Reihe: LNCS
Band einer Reihe: 3866
Zusätzliche Informationen:

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

Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS)
Hinterlegungsdatum: 09 Apr 2010 14:10
Letzte Änderung: 03 Jun 2018 21:23
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen