Security protocol verification has been a very active research area since the 1990s. This
paper surveys various approaches in this area, considering the verification in the symbolic …

This chapter describes some existing Maude-based tools that are available for download.
The first section describes tools concerned with analysis of either Maude specifications, or of …

Recent technologies have cleared the way for large scale application of electronic
communication. The open and distributed nature of these communications implies that the …

Go back to An-fang, the Peace Square at An-Fang, the Beginning Place at An-Fang, where
all things start (…) An-Fang was near a city, the only living city with a pre-atomic name (…) …

The Industrial Internet of Things (IIoT) consists of sensors, networks, and services to connect
and control production systems. Its benefits include supply chain monitoring and machine …

Using a multiset rewriting formalism with existential quanti cation, it is shown that protocol
security remains undecidable even when rather severe restrictions are placed on protocols …

The history of the application of formal methods to cryptographic protocol analysis spans
over 20 years and has been showing signs of new maturity and consolidation. Not only have …

We investigate the complexity of the protocol insecurity problem for a finite number of
sessions (fixed number of interleaved runs). We show that this problem is NP-complete in a …

We formalize the Dolev–Yao model of security protocols, using a notation based on multiset
rewriting with existentials. The goals are to provide a simple formal notation for describing …

Most systems designed for the verification of security protocols operate under the unproved
assumption that an attack can only result from the combination of a fixed number of message …