8644 search results - page 1562 / 1729 » On the Composition of Secure Systems |
201
click to vote
NOSSDAV
2004
Springer
15 years 12 months ago
2004
Springer
We are developing a distributed architecture for massivelymultiplayer games. In this paper, we focus on designing a low-latency event ordering protocol, called NEO, for this archi...
178
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
Generics offer significant software engineering benefits since they provide code reuse without compromising type safety. Thus generics will be added to the Java language in the...
157
click to vote
CCGRID
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes two systems to recover the Internet connectivity impaired by private networks and firewalls. These devices cause asymmetry in the Internet, making peer-to-pee...
168
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
166
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...