Diploma Thesis DIP-2033

BibliographyPapesch, Matthias: A Collaborative Environment for Learning Security Protocols.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2033 (2003).
99 pages, english.
CR-SchemaD.2.4 (Software Engineering Software/Program Verification)
I.6.7 (Simulation Support Systems)
K.3.1 (Computer Uses in Education)
Keywordse-learning; security; SPIN; PROMELA
Abstract

Learners who become acquainted with security protocols have to achieve a proper understanding. To this end an environment is designed to support them on their way. It supports them with visualizations and allows extensive experiments and even o ers distributed simulations. To enable learners to judge their performance, the solutions they come up with are checked by Spin, a well-known model checking tool.

Full text and
other links
PDF (629359 Bytes)
ITO
Access to students' publications restricted to the faculty due to current privacy regulations
Contactcaburger@informatik.uni-stuttgart.de
Department(s)University of Stuttgart, Institute of Parallel and Distributed Systems, Distributed Systems
Project(s)ITO
Entry dateSeptember 4, 2003
   Publ. Institute   Publ. Computer Science