logicalhacking/SecureBPMN

This repository has been archived on 28/Aug/2023
Stars
3
Rank 3,959,874 (Top 79 %)
Language
Java
License
Apache License 2.0
Created over 9 years ago
Updated about 6 years ago

logicalhacking/SecureBPMN

logicalhacking

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

DVHMA

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

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.

DASCA

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

Featherweight_OCL

Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).

DVGM

Vulnerable Grade Management System

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