Bibliograph. Daten | Papesch, Matthias: A Collaborative Environment for Learning Security Protocols. Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 2033 (2003). 99 Seiten, englisch.
|
CR-Klassif. | D.2.4 (Software Engineering Software/Program Verification) I.6.7 (Simulation Support Systems) K.3.1 (Computer Uses in Education)
|
Keywords | e-learning; security; SPIN; PROMELA |
Kurzfassung | 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.
|
Volltext und andere Links | PDF (629359 Bytes) ITO Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich |
Kontakt | caburger@informatik.uni-stuttgart.de |
Abteilung(en) | Universität Stuttgart, Institut für Parallele und Verteilte Systeme, Verteilte Systeme
|
Projekt(e) | ITO
|
Eingabedatum | 4. September 2003 |
---|