ADTLang: a programming language approach to attack defense trees.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 1, p. 89, doi. 10.1007/s10009-020-00593-w
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2021 AND VI 23 AND IP 1
Results: 7
1
2
Masterminding change by combining secure system design with security risk assessment.
- Published in:
- 2021
- By:
- Publication type:
- Editorial
3
Graph-based technique for survivability assessment and optimization of IoT applications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 1, p. 105, doi. 10.1007/s10009-020-00594-9
- By:
- Publication type:
- Article
4
Static analysis for discovering IoT vulnerabilities.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 1, p. 71, doi. 10.1007/s10009-020-00592-x
- By:
- Publication type:
- Article
5
Learning Moore machines from input–output traces.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 1, p. 1, doi. 10.1007/s10009-019-00544-0
- By:
- Publication type:
- Article
6
Static generation of UML sequence diagrams.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 1, p. 31, doi. 10.1007/s10009-019-00545-z
- By:
- Publication type:
- Article
7
Detecting multiphase linear ranking functions for single-path linear-constraint loops.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 1, p. 55, doi. 10.1007/s10009-019-00527-1
- By:
- Publication type:
- Article