SERAM: Security Reasoning Framework Code
Framework for security-related definition and reasoning.
Status: Abandoned
Brought to you by:
honsintu
Menu
▾
▴
Tree [r39] / History
| File | Date | Author | Commit |
|---|---|---|---|
| branches | 2013-03-06 | allura | [r1] Initial commit |
| tags | 2014-05-20 | honsintu | [r27] |
| trunk | 2015-03-04 | adlange | [r39] - adjusted the build file |
