Holger Grandy Dominik Haneberg Wolfgang Reif Kurt Stenzel Developing Provable Secure M-Commerce Applications. 115-129 2006 conf/etrics/2006 ETRICS http://dx.doi.org/10.1007/11766155_9 db/conf/etrics/etrics2006.html#GrandyHRS06