@doctoralThesis{Mohammadi_2014,
title={Abstracting cryptographic protocols},
author={Mohammadi, Esfandiar},
doi={http://dx.doi.org/10.22028/D291-26640},
subtitle={Die Abstraktion kryptographischer Protokolle},
year={2014}
}