2335 search results - page 107 / 467 » Securing Distributed Systems with Information Flow Control |
143
click to vote
JLP
2010
14 years 11 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
167
click to vote
ISITA
2010
15 years 2 months ago
2010
The NRL Network Pump R , or Pump, is a standard for mitigating covert channels that arise in a multi-level secure (MLS) system when a high user (HU) sends acknowledgements to a low...
163
click to vote
CMS
2003
15 years 6 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...
117
Voted
CDC
2010
IEEE
14 years 12 months ago
2010
IEEE
In this paper we consider the problem of gossiping in a network to diffuse the average of a sub-set of nodes, called sources, and directing it to another sub-set of nodes in the ne...
173
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Network information distribution is a fundamental service for any anonymization network. Even though anonymization and information distribution about the network are two orthogona...