Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn. A Modeling Framework for the Development of Provably Secure E-Commerce Applications. In Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France. pages 8, IEEE Computer Society, 2007. [doi]
Abstract is missing.