135
click to vote
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
164
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Denial-of-service (DoS) attacks significantly degrade service quality experienced by legitimate users by introducing long delays, excessive losses, and service interruptions. The ...
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
178
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...