DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.
Updated 2019-02-27 20:29:10 +00:00
Updated 2023-09-18 19:19:42 +00:00
DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.
Updated 2018-11-24 19:17:49 +00:00
An ArgoUML extensions for modelling SecureUML supporting various SecureUML dialects with and without support for Generic Break Glass concepts.
Updated 2018-08-08 09:29:50 +00:00
SecureBPMN is a domain-specific modeling language that allows to model security aspects (e.g., access control, separation of duty, confidentiality).
Updated 2018-08-08 09:02:34 +00:00
GenericBreakGlass: XACML Reference Implementation
Updated 2018-08-08 09:39:52 +00:00
Fork of the T.J. Watson Libraries for Analysis used by DASCA.
Updated 2018-10-29 08:35:37 +00:00
This is a graphical user interface for OFMC
Updated 2023-10-22 14:55:26 +00:00