Publikation
Heiko Mantel
In: Proceedings of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP), Oakland, Pages 78-91, IEEE Computer Society, 5/2001.
@inproceedings{pub1533, author = { Mantel, Heiko }, title = {Preserving Information Flow Properties under Refinement}, booktitle = {Proceedings of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP), Oakland}, year = {2001}, month = {5}, pages = {78--91}, address = {Oakland, CA, USA}, publisher = {IEEE Computer Society} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023