Software Assurance & Security Research Team 's repositories
ExtensionCrawler
A collection of utilities for downloading and analyzing browser extension from the Chrome Web store.
ocl-examples
A collection of (toy) examples using OCL.
Featherweight_OCL
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
SecureBPMN
SecureBPMN is a domain-specific modeling language that allows to model security aspects (e.g., access control, separation of duty, confidentiality).
Isabelle_DOF
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
GenericBreakGlass-XACML
GenericBreakGlass: XACML Reference Implementation
isabelle-ofmc
Isabelle/OFMC - Linking OFMC and Isabelle/HOL
UPF_Firewall
Local mirror of Formal Network Models and Their Application to Firewall Policies (UPF-Firewall) entry of the Archive of Formal Proofs (AFP).
SecureUML-GUI
A ArgoUML extensions for modelling SecureUML supporting various SecureUML dialects with and without support for Generic Break Glass concepts.
Automated_Stateful_Protocol_Verification
Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
Core_SC_DOM
Local mirror of the Archive of Formal Proof (AFP) entry "Core_SC_DOM".
DOM_Components
Local mirror of the Archive of Formal Proof (AFP) entry "Core_SC_DOM".
Extended_Finite_State_Machine_Inference
Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machine_Inference".
Extended_Finite_State_Machines
Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machines".
lh-docker-isabelle
A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
lh-docker-scale-mamba
Container definitions (tested with docker and podman) for various versions of SCALE-MAMBA.
SC_DOM_Components
Local mirror of the Archive of Formal Proof (AFP) entry "SC_DOM_Components".
Shadow_DOM
Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_DOM".
Shadow_SC_DOM
Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_SC_DOM".