Relational Progress Sensitive Security
Relational implementation of type system and semantics from "Precise Enforcement of Progress-Sensitive Security" by Moore, Askarov, and Chong, CCS'12.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Townhouse | 109 | 6 years ago | July 10, 2023 | 2 | mit | PHP | ||||
| [WORK IN PROGRESS] A Multitenancy package for Laravel that keeps each tenant in a separate database. | ||||||||||
| Relational Progress Sensitive Security | 5 | 11 years ago | Scheme | |||||||
| Relational implementation of type system and semantics from "Precise Enforcement of Progress-Sensitive Security" by Moore, Askarov, and Chong, CCS'12. | ||||||||||
Alternatives To Relational Progress Sensitive SecuritySelect To Compare
Alternative Project Comparisons
Popular Security Projects
Popular Progress Projects
Popular Security Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Security
Scheme
Progress