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 |
|---|