- Tytuł:
- Semantics for Specialising Attack Trees based on Linear Logic
- Autorzy:
-
Horne, R.
Mauw, S.
Tiu, A. - Data publikacji:
- 2017
- Słowa kluczowe:
-
attack trees
calculus of structures
causality
linear logic
semantics - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł