search

Twigonometry / IsabelleDSL

IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle
0 stars 0 forks source link

Implement simple web-based RBAC #10

Open Twigonometry opened 2 years ago

Twigonometry commented 2 years ago

Implement a simple Role-Based Authentication theory (perhaps based on CoCon) and output it to a web framework.

Relies on #9