GitHub / MonoidalAttackTrees / Lina

A Haskell EDSL for conducting threat analysis using Attack Trees

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MonoidalAttackTrees%2FLina
PURL: pkg:github/MonoidalAttackTrees/Lina

Stars: 3
Forks: 1
Open issues: 1

License: bsd-3-clause
Language: Haskell
Size: 75.2 KB
Dependencies parsed at: Pending

Created at: over 7 years ago
Updated at: over 7 years ago
Pushed at: almost 7 years ago
Last synced at: over 2 years ago

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

Loading...