ISSE

Search

A Construction Kit for Modeling the Security of M-Commerce Applications

Dominik Haneberg, Wolfgang Reif, Kurt Stenzel

A Construction Kit for Modeling the Security of M-Commerce Applications

published 2004 in: FORTE 2004 Workshops ITM/EPEW/TheFormEMC Proceedings Manuel Núñez et al. (Eds.), Applying Formal Methods: Testing, Performance and M/E-Commerce. FORTE 2004 Workshops ITM/EPEW/TheFormEMC Proceedings, LNCS 3236 DOI: http://dx.doi.org/10.1007/978-3-540-30233-9_6


BibTex

For questions regarding the publication, please contact publications@isse.de!


Links: