5119 search results - page 760 / 1024 » Security Privacy |
163
click to vote
ACSAC
2005
IEEE
16 years 9 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...
175
click to vote
ACSAC
2005
IEEE
16 years 9 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...
159
click to vote
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
It is a well known problem that the attack recovery of a self-healing system rolls back not only malicious transactions, but also legitimate transactions that are dependent on the...
180
click to vote
ACSAC
2005
IEEE
16 years 9 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...
168
click to vote
CSFW
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...