37 search results - page 8 / 8 » A machine-checked model of safe composition |
EUROCRYPT
2010
Springer
13 years 11 months ago
2010
Springer
A broadcast protocol allows a sender to distribute a message through a point-to-point network to a set of parties, such that (i) all parties receive the same message, even if the s...
EDCC
1994
Springer
13 years 10 months ago
1994
Springer
Security and reliability issues in distributed systems have been investigated for several years at LAAS using a technique called Fragmentation-Redundancy-Scattering (FRS). The aim ...