ACSAC
2005
IEEE
14 years 1 months 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...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
The Paranoid file system is an encrypted, secure, global file system with user managed access control. The system provides efficient peer-to-peer application transparent file ...
ACSAC
2005
IEEE
14 years 1 months 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...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Logging and auditing is an important system facility for monitoring correct system operation and for detecting potential security problems. We present an architecture for implemen...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
With the increasing security threats from infrastructure attacks such as worms and distributed denial of service attacks, it is clear that the cooperation among different organiza...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
ACSAC
2005
IEEE
14 years 1 months 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...
ACSAC
2005
IEEE
14 years 1 months 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...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Fault induction attacks are a serious concern for designers of secure embedded systems. An ideal solution would be a generic circuit transformation that would produce circuits tha...