@inproceedings{singh07security,
author = "Anu Singh and C. R. Ramakrishnan and I. V. Ramakrishnan and Scott D. Stoller and David S. Warren",
title = "Security Policy Analysis using Deductive Spreadsheets",
booktitle = "Proceedings of the 5th Workshop on Formal Methods for Security Engineering (FMSE)",
year = 2007,
publisher="ACM Press"
}