5 search results - page 1 / 1 » Anonymity and Covert Channels in Simple Timed Mix-Firewalls |
PET
2004
Springer
13 years 10 months ago
2004
Springer
Traditional methods for evaluating the amount of anonymity afforded by various Mix configurations have depended on either measuring the size of the set of possible senders of a p...
IFIPTM
2009
13 years 2 months ago
2009
Effective defense against Internet threats requires data on global real time network status. Internet sensor networks provide such real time network data. However, an organization...
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
A number of network covert channels have been proposed recently that may have important ramifications for Internet security and privacy. However, they could become ineffective in...
SP
2010
IEEE
13 years 2 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
CJ
2010
13 years 2 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...