Browsing by Author "Van den Berghe, Alexander"
Now showing 1 - 2 of 2
- Results per page
- Sort Options
Publication A model for provably secure software design
Proceedings paper2017, Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering - FormaliSE, 20/05/2017, p.3-9Publication Security threat modeling: Are data flow diagrams enough?
Proceedings paper2020, 1st International Workshop on Engineering and Cybersecurity of Critical Systems - EnCyCriS, 23/05/2020, p.254-257