741 search results - page 79 / 149 » Abstract Machines for Communication Security |
CADE
2002
Springer
14 years 10 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
CCS
2010
ACM
13 years 8 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—New modes of communication have shown themselves to be needed for more secure and private types of data. Steganography or data-hiding through covert channels can be high...
WIOPT
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— We study the problem of establishing secure communication channels in resource-constrained wireless networks using key predistribution. Pairwise communication channels ...
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract— As mobile ad hoc network applications are deployed, security emerges as a central requirement. In this paper, we introduce the wormhole attack, a severe attack in ad ho...