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 Seiten 78-91 IEEE Computer Society 5/2001.

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