Technical Report TR-2002-09

BibliographyPapesch, Matthias; Burger, Cora: ProDuctivE - A Promela driven constructivist environment to learn security protocols.
University of Stuttgart, Faculty of Computer Science, Technical Report No. 2002/09.
20 pages, english.
CR-SchemaC.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
Abstract

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.

Full text and
other links
PDF (336771 Bytes)
ITO
Contactcaburger@informatik.uni-stuttgart.de
Department(s)University of Stuttgart, Institute of Parallel and Distributed High-Performance Systems, Distributed Systems
Project(s)ITO
Entry dateDecember 5, 2002
   Publ. Department   Publ. Institute   Publ. Computer Science