Research

MSDL

In the Modelling, Simulation and Design Lab (MSDL), we study the theory of multi-paradigm modelling and build tools to support the design and implementation of complex (software) systems. In particular, we are developing a Computer Aided Multi-Paradigm Modelling (CAMPaM) tool named AToM³ based on meta-modelling and graph grammars.

My Interests

I am interested in the design of complex systems, and the use of a modelling and simulation based processes for for the analysis and engineering of such systems, and model transformations/graph grammar based approaches for analyzing system behaviour.

My Research

MSDL is involved in the Flemish gouvernment's adapID project, and has set-up a research group for this purpose, of which I am a member. adapID is aimed at studying the security and privacy issues of electronic identity cards with digital signature technology. Frameworks for secure and privacy-preserving applications must be developped as a result of this project. These applications must focus primarily on e-government, e-health and trusted archiving applications. Also, research must investigate technologies for future generations of the EIDC electronic identity card), and propose better solutions and advanced applications connected with the EIDC.

Now of course, one may wonder where modelling and simulation fits into this picture, which is so heavily concentrated on cryptographic tools. However, modelling along with model checking tools can be used for analysis and verification of systems. From these models, simulations can be generated, or even implementations of applications.

For the time being, a lot of reading is to be done, starting with "Cryptography and Network Security" (William Stallings) and "Rethinking Public Key Infrastructures and Digital Certificates" by Stefan Brands.