@doctoralThesis{Laud_2002,
title={Computationally secure information flow},
author={Laud, Peeter},
doi={http://dx.doi.org/10.22028/D291-25712},
year={2002}
}