@doctoralThesis{Lamotte-Schubert_2015,
title={Automatic authorization analysis},
author={Lamotte-Schubert, Manuel},
doi={http://dx.doi.org/10.22028/D291-26619},
subtitle={Automatische Berechtigungsanalyse},
year={2015}
}