Dominik Haneberg Wolfgang Reif Kurt Stenzel A Construction Kit for Modeling the Security of M-commerce Applications. 72-85 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3236&spage=72 2004 conf/forte/2004w FORTE Workshops db/conf/forte/fortew2004.html#HanebergRS04