TU Darmstadt / ULB / TUbiblio

Controlling the What and Where of Declassification in Language-Based Security

Mantel, Heiko ; Reinhard, Alexander
Nicola, Rocco De (ed.) (2007):
Controlling the What and Where of Declassification in Language-Based Security.
In: LNCS, 4421, In: European Symposium on Programming (ESOP), pp. 141-156,
Springer, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2007
Editors: Nicola, Rocco De
Creators: Mantel, Heiko ; Reinhard, Alexander
Title: Controlling the What and Where of Declassification in Language-Based Security
Language: English
Title of Book: European Symposium on Programming (ESOP)
Series Name: LNCS
Volume: 4421
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 09 Apr 2010 14:11
Additional Information:

mantel.ea:controlling:2007a

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