3751 search results - page 88 / 751 » Events in security protocols |
126
click to vote
SPE
2011
14 years 4 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
Group Key Agreement (GKA) protocols enable the participants to derive a key based on each one's contribution over a public network without any central authority. They also pr...
ISORC
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents a simple protocol that provides application processes with an approximate real-time notion. This time notion is very versatile. At one extreme, it behaves at l...
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
Web applications are important, ubiquitous distributed systems whose current security relies primarily on server-side mechanisms. This paper makes the end-toend argument that the ...
101
click to vote
IJACT
2008
14 years 10 months ago
2008
: Fair exchange protocols allow both or neither of two parties to obtain the other's items, and this property is essential in e-commerce. In this paper, we construct an optimi...