This paper evaluates the multi-paradigm modelling methodology for designing controlled anonymous applications. The methodology is applied to a class of mobile applications with strong security and privacy requirements. From this study, we detect the constraints in the existing methodology in the context of mobile applications, explore the solution space and define directions for research.status: publishe

De Decker, Bart