S. Mauw

Publications
Influence

S. Mauw, M. Oostdijk
Computer Science
ICISC
1 December 2005

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

Message Sequence Chart (MSC)

S. Mauw
Computer Science
1996

Specification-based intrusion detection for advanced metering infrastructures

B Kordy, S. Mauw, +4 authors S. Moradmand

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 of… Expand

Foundations of Attack-Defense Trees

Barbara Kordy, S. Mauw, S. Radomirovic, P. Schweitzer
Computer Science
Formal Aspects in Security and Trust
16 September 2010

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 is… Expand

Operational Semantics and Verification of Security Protocols

C. Cremers, S. Mauw
Computer Science
Information Security and Cryptography
30 October 2012

The authors present a methodology for formally describing security protocols and their environment. Expand

ADTool: Security Analysis with Attack-Defense Trees

Barbara Kordy, P. Kordy, S. Mauw, P. Schweitzer
Computer Science
QEST
27 August 2013

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, efficient… Expand

Injective synchronisation: An extension of the authentication hierarchy

C. Cremers, S. Mauw, E. Vink
Computer Science, Mathematics
Theor. Comput. Sci.
24 November 2006

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

The Formalization of Message Sequence Charts

S. Mauw
Computer Science
Comput. Networks ISDN Syst.
1 June 1996

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

An Algebraic Semantics of Basic Message Sequence Charts

S. Mauw, M. Reniers
Computer Science
Comput. J.
1994

We present a formal semantics of Basic Message Sequence Charts, exploiting techniques from process algebra for the description of the interactions between entities. Expand

High-level message sequence charts

S. Mauw, M. Reniers
Computer Science
SDL Forum
1997

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

Recommended Authors