1256 search results - page 40 / 252 » A Simple E-Voting Protocol |
109
click to vote
ICN
2007
Springer
15 years 7 months ago
2007
Springer
— Multi-hop wireless ad-hoc networks are drawing more and more attention from both academic and industrial research. The lack of infrastructure makes those networks easy to deplo...
117
Voted
LOPSTR
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
89
Voted
SIGCOMM
1999
ACM
15 years 5 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
114
Voted
ICNP
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents a reliable multicast protocol (OTERS) that organizes receivers into a fusion tree that matches the multicast delivery tree of the source and uses this tree to ...
170
click to vote
RTSS
1995
IEEE
15 years 4 months ago
1995
IEEE
A distributed protocol is proposed for the synchronization of real-time tasks that have variable resource requirements. The protocol is simple to implement and is intended for lar...