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: 4.

Mantel, Heiko ; Sands, David ; Sudbrock, Henning (2011):
Assumptions and Guarantees for Compositional Noninterference.
In: Proceedings of the 24th IEEE Computer Security Foundations Symposium, pp. 218-232,
[Conference or Workshop Item]

Darvas, Adam ; Hähnle, Reiner ; Sands, David
Hutter, Dieter ; Ullmann, Markus (eds.) (2005):
A Theorem Proving Approach to Analysis of Secure Information Flow.
In: Lecture Notes in Computer Science, 3450, pp. 193-209, Springer, Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings, DOI: 10.1007/978-3-540-32004-3₂₀,
[Conference or Workshop Item]

Mantel, Heiko ; Sands, David (2004):
Controlled Declassification based on Intransitive Noninterference.
In: LNCS 3302, In: Proceedings of the 2nd ASIAN Symposium on Programming Languages and Systems, APLAS 2004, pp. 129-145,
Taipei, Taiwan, Springer-Verlag, [Conference or Workshop Item]

Mantel, Heiko ; Sands, David (2004):
Controlled Declassification based on Intransitive Noninterference.
In: LNCS 3302, In: Proceedings of the 2nd ASIAN Symposium on Programming Languages and Systems, APLAS 2004, pp. 129--145,
Springer-Verlag, [Conference or Workshop Item]

This list was generated on Tue Jun 22 01:17:37 2021 CEST.