Designing government independent and secure identification-and authentication protocols
is a challenging task. Design flaws and missing specifications as well as security-and …

This book is written for computer engineers, scientists, and students studying/working in
reinforcement learning and artificial intelligence domains. The book collects recent …

This paper has the purpose of reviewing some of the established relationships between
logic and concurrency, and of exploring new ones. Concurrent and distributed systems are …

Current identity management systems are not concerned with user privacy. Users must
assume that identity providers and service providers will ensure their privacy, which is not …

Today, increasing Internet of Things devices are deployed, and the field of applications for
decentralized, self-organizing networks keeps growing. The growth also makes these …

Security protocols are the basis of security in networks. Therefore, it is essential to ensure
that these protocols function correctly. However, it is difficult to design security protocols that …

In this paper, we present a technique to model and analyse cryptographic protocols using
coloured Petri nets. A model of the protocol is constructed in a top-down manner: rst the …

Key management is a significant part of secure wireless communication. In IEEE 802. Hi
standard, 4-way handshake protocol is designed to exchange key materials and generate a …

Petri nets have become a tremendously important mathematical and graphical tool in
modeling and performance evaluation of real systems with discrete events that are …

Nowadays, business transactions almost exclusively focus on human-to-human
transactions. The persistent growth and expansion of the Internet of Things, the …