Abstract
This paper evaluates the multi-paradigm modelling methodology for designing controlled anonymous applications, like applications that use trap-door anonymity. 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. Moreover, a first iteration of the realization of the existing design methodology is made.
Chapter PDF
Similar content being viewed by others
References
de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-formalism and Meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002)
Mannadiar, R., Vangheluwe, H.: Modular synthesis of mobile device applications from domain-specific models. In: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerpen, Belgium, pp. 21–28. ACM (2010)
Naessens, V., De Decker, B.: A methodology for designing controlled anonymous applications. In: Fischer-Hübner, S., Rannenberg, K., Yngström, L., Lindskog, S. (eds.) Security and Privacy in Dynamic Environments. IFIP, vol. 201, pp. 111–122. Springer, Boston (2006)
Naessens, V., Demuynck, L., De Decker, B.: A Fair Anonymous Submission and Review System. In: Leitold, H., Markatos, E.P. (eds.) CMS 2006. LNCS, vol. 4237, pp. 43–53. Springer, Heidelberg (2006)
Rajhans, A., Cheng, S.-W., Schmerl, B.R., Garlan, D., Krogh, B.H., Agbi, C., Bhave, A.: An architectural approach to the design and analysis of cyber-physical systems. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling, Denver, Colorado, USA (2009)
Schuster, A., Sprinkle, J.: Synthesizing executable simulations from structural models of component-based systems. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling, Denver, Colorado, USA (2009)
Vangheluwe, H., de Lara, J., Mosterman, P.J.: An introduction to multi-paradigm modelling and simulation. In: Barros, F., Giambiasi, N. (eds.) Proceedings of the AIS 2002 Conference (AI, Simulation and Planning in High Autonomy Systems), Lisboa, Portugal, pp. 9–20 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 IFIP International Federation for Information Processing
About this paper
Cite this paper
Decroix, K., De Decker, B., Naessens, V. (2012). Designing Privacy-Enhancing Mobile Applications. In: Camenisch, J., Crispo, B., Fischer-Hübner, S., Leenes, R., Russello, G. (eds) Privacy and Identity Management for Life. Privacy and Identity 2011. IFIP Advances in Information and Communication Technology, vol 375. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31668-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-31668-5_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31667-8
Online ISBN: 978-3-642-31668-5
eBook Packages: Computer ScienceComputer Science (R0)