With the phenomenal growth of the Internet and open networks in general, security services,
such as non-repudiation, become crucial to many applications. Non-repudiation services …

The growing importance of electronic commerce and the increasing number of applications
in this area has led research into studying methods of how to perform safe and secure online …

Fair exchange stems from a daily life problem: how can two people exchange objects
(material or immaterial) fairly, that is, without anyone being hurt in the exchange? More …

Computer network security is critical to fraud prevention and accountability. Network
participants are required to observe predefined steps called security protocols, whose proof …

In this paper we consider a new and efficient optimistic nonrepudiation protocol. In a non-
repudiation protocol, during which Alice wants to transmit a message to Bob, Alice has to …

In this paper we consider the optimistic approach of the non-repudiation protocols. We study
the most complete non-repudiation protocol with off-line trusted third party and we put …

In this paper we consider the optimistic approach of the non-repudiation protocols. We study
a non-repudiation protocol with off-line trusted third party and we keep on with the definition …

A non-repudiation protocol enables the fair exchange of an electronic message and an
irrefutable digital receipt between two mistrusting parties over the Internet. That is, at the end …

We develop a general method for proving properties of contract-signing protocols using a
specialized protocol logic. The method is applied to the Asokan–Shoup–Waidner and the …

The dissertation aims at tailoring Paulson's Inductive Approach for the analysis of classical
cryptographic protocols towards real-world protocols. The aim is pursued by extending the …