Ljubich, Michael (2004) Methods for Enhancing the Security of Java Card based Payment Protocols. Doctoral thesis, Universität Rostock.