SERAM: Security Reasoning Framework Activity
Framework for security-related definition and reasoning.
Status: Abandoned
Brought to you by:
honsintu
- adjusted the build file
- removed project specific compiler preferences
- added .classpath to repository
- removed static output directory, which caused...
Adjustments due to changes in SEPIA
Optimizations in access control classes.
Bugfixes and adjustments to improve the robustn...
Clean code (remove ParameterException handling)
Code cleaning.
Bugfixes
Adjustments to changes in project JAGAL.
Adjustments to changes in project JAGAL.
Graphical classes for role lattice manipulation...
Graphical classes for role lattice manipulation...
Graphical classes for role lattice manipulation.