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.