#

lina

Here is 1 public repository matching this topic...

MonoidalAttackTrees / Lina

A Haskell EDSL for conducting threat analysis using Attack Trees

edsl verification haskell-library attack-trees maude threat-analysis linear-logic lina

Updated Oct 22, 2018
Haskell

Improve this page

Add a description, image, and links to the lina topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lina topic, visit your repo's landing page and select "manage topics."