| Security and Survivability: Analyzing, Modeling, and Verifying Dynamic Recovery in Insecure Systems Contributor(s): Campbell, Roy H. (Author), Naldurg, Prasad G. (Author), Campbell, H. (Author) |
|
 |
ISBN: 0387276270 ISBN-13: 9780387276274 Publisher: Springer OUR PRICE: $85.45 Product Type: Hardcover - Other Formats Published: August 2008 Annotation: Security and Survivability presents new research on the emerging discipline of design and analysis of security systems that are survivable. Such systems are designed to continue to provide verifiable security guarantees, and allow the system to degrade gracefully, even under threat or actual incidence of attack. The book introduces a theory of recovery-oriented security and provides well-developed case studies that corroborate the utility of the theory, addressing privilege-escalation and Denial of Service (DoS) attacks. Using their automated verification methodology, the authors formally 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. |
| Additional Information |
| BISAC Categories: - Computers | Information Theory - Computers | Networking - General - Computers | Software Development & Engineering - Systems Analysis & Design |
| Dewey: 005.8 |
| Physical Information: 240 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: To dramatise the expressive power of their framework, the authors demonstrate how it can be applied to denial of service attacks. They also attempt to prove whether strategies such as selective filtering, strong authentication and client puzzles actually do reduce the vulnerability of a network to DoS attacks. |