A Modeling Framework for the Development of Provably Secure E-Commerce Applications (2007)

by N Moebius, D Haneberg, G Schellhorn, W Reif
Venue:in International Conference on Software Engineering Advances (ICSEA) 2007