@inproceedings{gupta09verification,
author="Puneet Gupta and Scott D. Stoller",
title="Verification of Security Policy Enforcement in Enterprise Systems",
booktitle="Proceedings of the 24th IFIP International Information Security Conference (SEC)",
year=2009,
publisher="Springer-Verlag",
series={IFIP Advances in Information and Communication Technology},
volume=297,
month=may,
}