37 search results - page 8 / 8 » A machine-checked model of safe composition |
EUROCRYPT
2010
Springer
13 years 10 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 9 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 ...