Publication
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.