• Publications
  • Influence
Foundations of Attack Trees
TLDR
We provide a denotational semantics, based on a mapping to attack suites, which abstracts from the internal structure of an attack tree, we study transformations between attack trees, and we study the attribution and projection of the attack tree. Expand
  • 416
  • 34
  • PDF
Message Sequence Chart (MSC)
  • 475
  • 16
Specification-based intrusion detection for advanced metering infrastructures
It is critical to develop an effective way to monitor advanced metering infrastructures (AMI). To ensure the security and reliability of a modernized power grid, the current deployment of millions ofExpand
  • 132
  • 16
  • PDF
Foundations of Attack-Defense Trees
We introduce and give formal definitions of attack-defense trees. We argue that these trees are a simple, yet powerful tool to analyze complex security and privacy problems. Our formalization isExpand
  • 183
  • 14
  • PDF
Operational Semantics and Verification of Security Protocols
  • C. Cremers, S. Mauw
  • Computer Science
  • Information Security and Cryptography
  • 30 October 2012
TLDR
The authors present a methodology for formally describing security protocols and their environment. Expand
  • 95
  • 9
ADTool: Security Analysis with Attack-Defense Trees
ADTool is free, open source software assisting graphical modeling and quantitative analysis of security, using attack---defense trees. The main features of ADTool are easy creation, efficientExpand
  • 75
  • 7
  • PDF
Injective synchronisation: An extension of the authentication hierarchy
TLDR
We formalise the notion of synchronisation, which is an intensional authentication property requiring that all protocol messages occur in the expected order with the expected values. Expand
  • 63
  • 6
  • PDF
The Formalization of Message Sequence Charts
  • S. Mauw
  • Computer Science
  • Comput. Networks ISDN Syst.
  • 1 June 1996
TLDR
We discuss the state of affairs with respect to the formalization of Message Sequence Charts (MSC) and identify which parts of the definition of MSC are still candidate for formalization. Expand
  • 59
  • 6
  • PDF
An Algebraic Semantics of Basic Message Sequence Charts
TLDR
We present a formal semantics of Basic Message Sequence Charts, exploiting techniques from process algebra for the description of the interactions between entities. Expand
  • 179
  • 5
  • PDF
High-level message sequence charts
TLDR
We give a definition of the semantics of the sublanguage high-level message sequence charts (HMSCs) of MSC96, based on the recommended process algebra semantics ofMSC92. Expand
  • 121
  • 5
  • PDF