Security And Survivability: Analyzing, Modelling, And Verifying Dynamic Recovery in Insecure Systems

by Campbell, Roy H.; Naldurg, Prasad G.

• ISBN13: 9780387276274
• ISBN10: 0387276270
• Format: Hardcover
• Copyright: 2008-08-30
• Publisher: Springer-Verlag New York Inc
• More Book Details
• Purchase Benefits

Summary

To dramatize the expressive power of their framework, the authors demonstrate how it can be applied to DoS (Denial of Service) attacks, modeling resilience, a key property of information systems with a high degree of survivability. Using their automated verification methodology, they prove for the first time whether strategies such as selective filtering, strong authentication, and client puzzles actually reduce the vulnerability of a network to DoS attacks.