TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

Conference or Workshop Item

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hutter, Dieter ; Ullmann, Markus (eds.) (2005):
A Theorem Proving Approach to Analysis of Secure Information Flow.
In: LNCS, 3450, In: Proc. 2nd International Conference on Security in Pervasive Computing, pp. 193--209,
Springer-Verlag, [Conference or Workshop Item]

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Gorrieri, Roberto (ed.) (2003):
A Theorem Proving Approach to Analysis of Secure Information Flow.
In: Workshop on Issues in the Theory of Security, WITS,
[Conference or Workshop Item]

Report

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave (2004):
A Theorem Proving Approach to Analysis of Secure Information Flow.
(2004-01), ISBN 1650-3023,
[Report]

This list was generated on Sat Sep 24 05:21:33 2022 CEST.