Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel. Developing Provable Secure M-Commerce Applications. In Günter Müller, editor, Emerging Trends in Information and Communication Security, International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006, Proceedings. Volume 3995 of Lecture Notes in Computer Science, pages 115-129, Springer, 2006. [doi]
Abstract is missing.