Technischer Bericht TR-2002-09

Papesch, Matthias; Burger, Cora: ProDuctivE - A Promela driven constructivist environment to learn security protocols.
Universität Stuttgart, Fakultät Informatik, Fakultätsbericht Nr. 2002/09.
20 Seiten, englisch.
CR-Klassif.C.2.2 (Network Protocols)
D.4.6 (Operating Systems Security and Protection)
I.6.3 (Simulation and Modeling Applications)
H.4.3 (Information Systems Applications Communications Applications)
H.5.1 (Multimedia Information Systems)
K.3.1 (Computer Uses in Education)
KeywordsE-Learning; Security Protocols; Promela; SPIN

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 interactive way. To explain these building blocks more detailed, the Needham-Schroeder-Public-Key authentication protocol is given as an example.

All building blocks were realized by means of the preprocessor. A proper combination of simulation and visualization components cares for hiding unnecessary details and restricts on the essentials. The SPIN validator is used to check the correctness of students solutions or generate trail files to give a hint in case of a quandary. To allow collaborative experiments, the whole facility is embedded into a framework for application sharing. The latter is equipped with components for annotation and note taking as well as for recording.

Volltext und
andere Links
PDF (336771 Bytes)
Abteilung(en)Universität Stuttgart, Institut für Parallele und Verteilte Höchstleistungsrechner, Verteilte Systeme
Eingabedatum5. Dezember 2002
   Publ. Abteilung   Publ. Institut   Publ. Informatik