1843 search results - page 300 / 369 » Securing Class Initialization |
140
Voted
ACSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
In its most general form, an attack signature is a program that can correctly determine if an input network packet sequence can successfully attack a protected network application...
110
Voted
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
Current trust models enable decision support at an implicit level by means of thresholds or constraint satisfiability. Decision support is mostly included only for a single binary...
143
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
120
click to vote
ACMSE
2005
ACM
15 years 7 months ago
2005
ACM
Accurate identification of misuse is a key factor in determining appropriate ways to protect systems. Modern intrusion detection systems often use alerts from different sources su...
154
Voted
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...