5255 search results - page 447 / 1051 » Formal Methods for Privacy |
181
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Current trends demonstrate an increasing use of polymorphism by attackers to disguise their exploits. The ability for malicious code to be easily, and automatically, transformed in...
185
Voted
ACSAC
2005
IEEE
16 years 15 days ago
2005
IEEE
We propose a method to verify the result of attacks detected by signature-based network intrusion detection systems using lightweight protocol analysis. The observation is that ne...
178
Voted
CCS
2004
ACM
16 years 8 days ago
2004
ACM
A network covert channel is a mechanism that can be used to leak information across a network in violation of a security policy and in a manner that can be difficult to detect. In...
165
Voted
ACSAC
2003
IEEE
16 years 5 days ago
2003
IEEE
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...
182
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...