1875 search results - page 145 / 375 » A Calculus of Broadcasting Systems |
164
click to vote
CONCUR
2010
Springer
15 years 7 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...
141
click to vote
EUROCRYPT
2004
Springer
15 years 11 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...
137
click to vote
IH
2004
Springer
15 years 11 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...
156
click to vote
ISCA
1999
IEEE
15 years 10 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...
184
click to vote
FROCOS
2000
Springer
15 years 9 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...