4305 search results - page 544 / 861 » Analysing Protocol Implementations |
125
Voted
CAV
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
130
click to vote
CRYPTO
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Non-committing encryption enables the construction of multiparty computation protocols secure against an adaptive adversary in the computational setting where private cha...
147
Voted
INFOCOM
1999
IEEE
15 years 9 months ago
1999
IEEE
Mirror sites enable client requests to be serviced by any of a number of servers, reducing load at individual servers and dispersing network load. Typically, a client requests serv...
152
click to vote
INFOCOM
1999
IEEE
15 years 9 months ago
1999
IEEE
Recently, networks have increased rapidly both in scale and speed. Problems related to the control and management are of increasing interest. The average throughput and end-to-end ...
148
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...