Preserving Information Flow Properties under Refinement

@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}
}