801 search results - page 8 / 161 » Active Messages: A Mechanism for Integrated Communication an... |
SP
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
93
Voted
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
— The DECOS architecture aims at combining the advantages of federated and integrated systems. The DECOS architecture divides the overall system into a set of nearly-independent ...
112
click to vote
JSAC
2011
14 years 2 months ago
2011
—Several contention-based Medium Access Control (MAC) protocols have been proposed for the vehicles to gain the radio channels to distribute active safety messages timely, e.g., ...
100
click to vote
MOBIDE
2003
ACM
15 years 4 months ago
2003
ACM
This paper presents a general-purpose distributed lookup service, denoted Passive Distributed Indexing (PDI). PDI stores entries in form of (key, value) pairs in index caches loca...
CCS
2009
ACM
15 years 6 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...