DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.
Updated 4 years ago
Updated 2 years ago
DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.
Updated 5 years ago
An ArgoUML extensions for modelling SecureUML supporting various SecureUML dialects with and without support for Generic Break Glass concepts.
Updated 5 years ago
SecureBPMN is a domain-specific modeling language that allows to model security aspects (e.g., access control, separation of duty, confidentiality).
Updated 5 years ago
GenericBreakGlass: XACML Reference Implementation
Updated 5 years ago
Fork of the T.J. Watson Libraries for Analysis used by DASCA.
Updated 5 years ago