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]
Abstract is missing.