@inproceedings{conf/popl/JacobsPW05,
title = {Statically checking confidentiality via dynamic labels.},
author = {Bart Jacobs and Wolter Pieters and Martijn Warnier},
booktitle = {WITS},
crossref = {conf/popl/2005wits},
editor = {Catherine Meadows},
pages = {50-56},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/popl/wits2005.html#JacobsPW05},
year = {2005},
description = {dblp},
date = {2008-04-04}, ee = {http://doi.acm.org/10.1145/1045405.1045411}, isbn = {1-58113-980-2},
keywords = {dblp }
}