Historically, various different notions of trust can be found, each addressing particular
aspects of ICT systems, eg trust in electronic commerce systems based on reputation and …

In a pervasive computing environment, mobile users often roam into foreign domains.
Consequently, mutual authentication between the user and the service provider in different …

Radio Frequency Identification Authentication Protocols (RFID APs) are an active research
topic and many protocols have been proposed. In this paper, we consider a class of recently …

All the existing non-repudiation protocols ensuring strong fairness have to assume that the
communication channel between trusted third party (TTP) and each player is resilient at …

Authentication is considered a pre-requisite for communication security, but the definition of
authentication is generally not agreed upon. Many attacks on authentication protocols are …

We consider the refinement-based process for the development of security protocols. Our
approach is based on the Event B refinement, which makes proofs easier and which makes …

In a digital world, users' Personally Identifiable Information (PII) is normally managed with a
system called an Identity Management System (IMS). There are many types of IMSs. There …

Security protocols play more and more important role nowadays, ranging from banking to
electronic commerce systems. They are designed to provide properties such as …

Many logical methods are usually considered suitable to express the static properties of
security protocols while unsuitable to model dynamic processes or properties. However, a …