1875 search results - page 145 / 375 » A Calculus of Broadcasting Systems |
126
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
112
Voted
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Dining cryptographers networks (or DC-nets) are a privacypreserving primitive devised by Chaum for anonymous message publication. A very attractive feature of the basic D...
102
Voted
IH
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
121
Voted
ISCA
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper proposes a new coherence method called "multicast snooping" that dynamically adapts between broadcast snooping and a directory protocol. Multicast snooping is...
154
click to vote
FROCOS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...