... | ... | @@ -9,6 +9,8 @@ |
|
|
|
|
|
* [attop](https://github.com/utwente-fmt/attop): Attack tree translator and Analyzer. [Official Repository](https://vcs.utwente.nl/source/AFTModel/)
|
|
|
|
|
|
* [Adt2Upp](https://github.com/utwente-fmt/Adt2Upp): Old version of `attop`.
|
|
|
|
|
|
# Papers
|
|
|
|
|
|
- Kordy, B., S. Mauw, S. Radomirovic, and P. Schweitzer. “Attack-Defense Trees.” Journal of Logic and Computation 24, no. 1 (February 1, 2014): 55–87. https://doi.org/10.1093/logcom/exs029.
|
... | ... | |