@doctoralThesis{Backes_2002,
title={Cryptographically sound analysis of security protocols},
author={Backes, Michael},
doi={http://dx.doi.org/10.22028/D291-25777},
year={2002}
}