6164 search results - page 641 / 1233 » Teaching Computer Security |
185
click to vote
CCS
2004
ACM
16 years 21 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
185
click to vote
SP
2003
IEEE
16 years 17 days ago
2003
IEEE
We present an experimental study showing that soft memory errors can lead to serious security vulnerabilities in Java and .NET virtual machines, or in any system that relies on ty...
219
click to vote
CCS
2003
ACM
16 years 16 days ago
2003
ACM
Understanding the strategies of attacks is crucial for security applications such as computer and network forensics, intrusion response, and prevention of future attacks. This pap...
185
click to vote
CSFW
2002
IEEE
16 years 8 days ago
2002
IEEE
Privacy is an increasing concern in the marketplace. Although enterprises promise sound privacy practices to their customers, there is no technical mechanism to enforce them inter...
211
click to vote
POLICY
2001
Springer
15 years 11 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...