Procedings of PrimeLife International Summer School pages:157-170
IFIP Summer School 2011 edition:7 location:Trento date:5-9 September 2011
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.