-
Notifications
You must be signed in to change notification settings - Fork 7
Temporally Enforced Security Logic Assertions
License
CTSRD-TESLA/TESLA
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
TESLA: Temporally Enforced Security Logic Assertions ==================================================================== TESLA is a tool that allow programmers to add temporal assertions to their security-critical code. Rather than simply asserting that "a particular expression evaluates to true right now", programmers can specify temporal properties such as "this access control check occurs before that object is used". A programmer's guide (including build instuctions) can be found at: http://www.cl.cam.ac.uk/research/security/ctsrd/tesla
About
Temporally Enforced Security Logic Assertions
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published