A New Foundation for Attack Trees Based on Monoidal Categories

A New Foundation for Attack Trees Based on Monoidal Categories's repositories

Agda formalization of the Attack Tree Linear Logic

Language:Agda5 20

Project Repository: CRII: SHF: A New Foundation for Attack Trees Based on Monoidal Categories

Language:TeX5 40

A Haskell EDSL for conducting threat analysis using Attack Trees

Language:HaskellBSD-3-Clause4 2 2

A New Model of Attack Trees in Petri Nets by Categorical Means

Language:TeX020

An editor for building attack trees written in Javascript.

Language:JavaScript02 14

Implementation of a term assignment for intuitionistic linear logic

Language:Haskell03 19

Non-Commutative Monads from Commutative/Non-Commutative Adjoint Models

Language:TeX030

Separating the structural rules into several different modalities, and then relating them

Language:TeX000