Skip to content
@logicalhacking

Software Assurance & Security Research Team

Git mirror of the Software Assurance & Security Research Team at the University of Exeter, UK. The team is headed by Achim D. Brucker (@adbrucker).

Pinned

  1. DVHMA DVHMA Public

    Damn Vulnerable Hybrid Mobile App (DVHMA) is an hybrid mobile app (for Android) that intentionally contains vulnerabilities.

    JavaScript 252 66

  2. DASCA DASCA Public

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

    Java 4 2

  3. GenericBreakGlass-XACML GenericBreakGlass-XACML Public archive

    GenericBreakGlass: XACML Reference Implementation

    Java 1

  4. ocl-examples ocl-examples Public

    A collection of (toy) examples using OCL.

    5

  5. SecureBPMN SecureBPMN Public archive

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

    Java 2 2

  6. SecureUML-GUI SecureUML-GUI Public

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

    Java 1

Repositories

Showing 10 of 28 repositories

Top languages

Loading…

Most used topics

Loading…