Publikation

Preserving Information Flow Properties under Refinement

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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence