MonoidalAttackTrees/Lina

A Haskell EDSL for conducting threat analysis using Attack Trees

语言：Haskell · GitHub 星标：4 · Fork：1

话题：attack-trees · edsl · haskell-library · lina · linear-logic · maude · threat-analysis · verification

在 GitHub 上查看原仓库