Bibliography | Papesch, 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-Schema | 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 |
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 |
Contact | caburger@informatik.uni-stuttgart.de |
Department(s) | University of Stuttgart, Institute of Parallel and Distributed Systems, Distributed Systems
|
Project(s) | ITO
|
Entry date | September 4, 2003 |
---|