S
Sjouke Mauw
Researcher at University of Luxembourg
Publications - 225
Citations - 5528
Sjouke Mauw is an academic researcher from University of Luxembourg. The author has contributed to research in topics: Formal specification & Operational semantics. The author has an hindex of 38, co-authored 218 publications receiving 5152 citations. Previous affiliations of Sjouke Mauw include University of Amsterdam & Eindhoven University of Technology.
Papers
More filters
Book ChapterDOI
Foundations of attack trees
Sjouke Mauw,Martijn Oostdijk +1 more
TL;DR: A denotational semantics is provided, based on a mapping to attack suites, which abstracts from the internal structure of an attack tree, which is indispensable to precisely understand how attack trees can be manipulated during construction and analysis.
Book ChapterDOI
Foundations of attack-defense trees
TL;DR: This work introduces and gives formal definitions of attack-defense trees and argues that these trees are a simple, yet powerful tool to analyze complex security and privacy problems.
Book ChapterDOI
Formal Test Automation: A Simple Experiment
Axel Belinfante,Jan Feenstra,René G. de Vries,Jan Tretmans,Nicolae Goga,Loe Feijs,Sjouke Mauw,Lex Heerink +7 more
TL;DR: An open, generic environment called TorX is introduced to facilitate the derivation from multiple formal description techniques and the different test execution approaches, and the usability of batch-oriented and on-the-fly testing approaches is explored.
Journal ArticleDOI
Attack-Defense Trees
TL;DR: A new graphical security model called attack–defense trees is developed, which generalizes the well-known attack trees model and demonstrates the usefulness of the formal foundations of attack– Defense trees by relating attack– defense terms to other scientific research disciplines.