The Model-based Security Toolkit