...It is also capable of enforcing/violating specific security properties on process traces, such as SoD/BoD, Unauthorized Access, Corrupted log entries, Skipped Activities.
SecSy builds upon the following libraries, that have to be included in the projects' build path:
- JAGAL: http://sourceforge.net/p/jagal
- JAWL: http://sourceforge.net/p/jawl
- SEPIA: http://sourceforge.net/p/sepiaframework
- SERAM: http://sourceforge.net/p/seram
- TOVAL: http://sourceforge.net/p/toval