DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.

Updated 4 years ago

DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.

Updated 4 years ago

Fork of the T.J. Watson Libraries for Analysis used by DASCA.

Updated 4 years ago

GenericBreakGlass: XACML Reference Implementation

Updated 4 years ago

An ArgoUML extensions for modelling SecureUML supporting various SecureUML dialects with and without support for Generic Break Glass concepts.

Updated 4 years ago

SecureBPMN is a domain-specific modeling language that allows to model security aspects (e.g., access control, separation of duty, confidentiality).

Updated 4 years ago