Geoffrey Smith. Secure information flow with random assignment and encryption. In Marianne Winslett, Andrew D. Gordon, David Sands, editors, Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006. pages 33-44, ACM, 2006. [doi]
@inproceedings{Smith06:4,
title = {Secure information flow with random assignment and encryption},
author = {Geoffrey Smith},
year = {2006},
doi = {10.1145/1180337.1180341},
url = {http://doi.acm.org/10.1145/1180337.1180341},
tags = {data-flow},
researchr = {https://researchr.org/publication/Smith06%3A4},
cites = {0},
citedby = {0},
pages = {33-44},
booktitle = {Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006},
editor = {Marianne Winslett and Andrew D. Gordon and David Sands},
publisher = {ACM},
isbn = {1-59593-550-9},
}