4305 search results - page 135 / 861 » Analysing Protocol Implementations |
135
Voted
PPL
2008
15 years 2 months ago
2008
We provide self-stabilizing algorithms to obtain and maintain a maximal matching, maximal independent set or minimal dominating set in a given system graph. They converge in linea...
134
Voted
PERCOM
2007
ACM
16 years 2 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...
104
click to vote
ISCC
2009
IEEE
15 years 9 months ago
2009
IEEE
We introduce Adaptive Smooth Simulcast Protocol (ASSP) for simulcast transmission over best-effort networks. ASSP is a new multiple-rate protocol that implements a single rate TCP...
INDOCRYPT
2009
Springer
15 years 9 months ago
2009
Springer
This paper investigates a new family of RFID protocols called Ff that grew out of a proposal made at ESORICS 2007. This family has the property of having highly efficient implement...
73
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...