CSRF-Security-Model Authors: Andy King and Cade Chabra A web model designed in TLA+ for a research project on formally verifying CSRF protection mechanisms