Developing Provable Secure M-Commerce Applications

Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel

Developing Provable Secure M-Commerce Applications

We present a modeling framework and a verification technique for m-commerce applications. Our approach supports the development of secure communication protocols for such applications as well as the refinement of the abstract protocol descriptions into executable Java code without any gap. The technique is explained using an interesting m-commerce application, an electronic ticketing system for cinema tickets.

The verification has been done with KIV.

Emerging Trends in Information and Communication Security, Proceedings. Springer LNCS 3995, 2006. DOI:


For questions regarding the publication, please contact!