Filter

Clear Filter

Archived Not Archived

Forked Not Forked

Mirrored Not Mirrored

Template Not Template

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

GenericBreakGlass/ SecureUML-GUI Archived

Java 0 0

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

Updated 2025-09-18 12:50:13 +00:00

adbrucker/ logicalhacking-latex

TeX 0 0

LaTeX styles implementing the cooperate style of logicalhacking.com.

Updated 2025-09-18 12:50:13 +00:00

afp-mirror/ UPF_Firewall

Isabelle 0 0

Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP). https://www.isa-afp.org/entries/UPF_Firewall.shtml

Updated 2025-09-18 12:50:13 +00:00

GenericBreakGlass/ GenericBreakGlass-XACML Archived

Java 0 0

GenericBreakGlass: XACML Reference Implementation

Updated 2025-09-18 12:50:12 +00:00

SecureBPMN/ SecureBPMN Archived

Java 0 0

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

Updated 2025-09-18 12:50:12 +00:00

adbrucker/ svninfo

TeX 0 0

This package is used to extract the revision and file information provided by the subversion revision control system.

Updated 2025-09-18 12:50:12 +00:00

HOL-OCL/ su4sml

Standard ML 0 0

su4sml - an SML repository for managing (Secure)UML/OCL models

Updated 2025-09-18 12:50:12 +00:00

DASCA/ DVHMA

JavaScript 0 0

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

Updated 2025-09-18 12:50:12 +00:00

adbrucker/ tuos-latex Archived

TeX 0 0

Various LaTeX templates mimicking the cooperate guidelines of the The University of Sheffield.

Updated 2025-09-18 12:50:12 +00:00

DASCA/ WALA

Java 0 0

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

Updated 2025-09-18 12:50:12 +00:00

DASCA/ DASCA

Java 1 0

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

Updated 2025-09-18 12:50:12 +00:00

ProtocolSecurity/ isabelle-ofmc Archived

Standard ML 0 0

Isabelle/OFMC - Linking OFMC and Isabelle/HOL

Updated 2025-09-18 12:50:12 +00:00

FLOSS-Security/ foss-vuln-tracker

Java 0 0

Updated 2023-09-18 19:19:42 +00:00