ProDuctivE - A PROMELA driven constructivist environment to learn security protocols


To overcome problems in understanding security protocols, a constructivist approach is used. Learners are enabled to experiment with a given protocol, either alone or in a team of co-learners. This means, to use pre-defined and automatically generated PROMELA building blocks for all communicating parties and to support students in playing some roles in an… (More)


5 Figures and Tables