@doctoralThesis{Mantel_2003,
title={A uniform framework for the formal specification and verification of information flow security},
author={Mantel, Heiko},
doi={http://dx.doi.org/10.22028/D291-25715},
year={2003}
}