Skip to content

CadeChabra/CSRF-Security-Model

Repository files navigation

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

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published