5255 search results - page 516 / 1051 » Formal Methods for Privacy |
197
click to vote
ACSAC
2005
IEEE
16 years 20 days ago
2005
IEEE
The typical means by which an attacker breaks into a network is through a chain of exploits, where each exploit in the chain lays the groundwork for subsequent exploits. Such a ch...
140
click to vote
ACSAC
2005
IEEE
16 years 20 days ago
2005
IEEE
The Internet Chess Club (ICC) is a popular online chess server with more than 30,000 members worldwide including various celebrities and the best chess players in the world. Altho...
189
click to vote
ACSAC
2005
IEEE
16 years 20 days ago
2005
IEEE
Recent research has proposed self-checksumming as a method by which a program can detect any possibly malicious modification to its code. Wurster et al. developed an attack again...
178
click to vote
ACSAC
2005
IEEE
16 years 20 days ago
2005
IEEE
An Air Force evaluation of Multics, and Ken Thompson’s famous Turing award lecture “Reflections on Trusting Trust,” showed that compilers can be subverted to insert maliciou...
187
click to vote
ACSAC
2005
IEEE
16 years 20 days ago
2005
IEEE
Signature-based schemes for detecting Internet worms often fail on zero-day worms, and their ability to rapidly react to new threats is typically limited by the requirement of som...