Investigating Traditional Software Testing Methods for use with the Meta Attack Language
Threat modelling of systems is an emerging field within computer security. With the introduction of the Meta Attack Language (MAL) by KTH researchers, the need for being able to test and verify the correctness of such modelling techniques has once again become apparent. This paper investigates the u...
| Main Authors: | , |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
KTH, Skolan för elektroteknik och datavetenskap (EECS)
2020
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280103 |