Torben Amtoft, Anindya Banerjee. Verification condition generation for conditional information flow. In Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel, editors, Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007. pages 2-11, ACM, 2007. [doi]
@inproceedings{AmtoftB07,
title = {Verification condition generation for conditional information flow},
author = {Torben Amtoft and Anindya Banerjee},
year = {2007},
doi = {10.1145/1314436.1314438},
url = {http://doi.acm.org/10.1145/1314436.1314438},
tags = {data-flow},
researchr = {https://researchr.org/publication/AmtoftB07},
cites = {0},
citedby = {0},
pages = {2-11},
booktitle = {Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007},
editor = {Peng Ning and Vijay Atluri and Virgil D. Gligor and Heiko Mantel},
publisher = {ACM},
isbn = {978-1-59593-887-9},
}