Security and Survivability: Analyzing, Modeling, and Verifying Dynamic Recovery in Insecure Systems Год выпуска: 2008Автор: Roy H. Campbell, Prasad G. NaldurgИздательство: Страниц: 240ISBN: 0387276270Описание 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.
Похожие книги
Kofi Kissi Dompere. The Theory of Aggregate Investment and Output Dynamics in Open Economic Systems (Contributions in Economics and Economic History). – М.: , 0. – 0 с. Technology, Information and Market Dynamics: Topics in Advanced Industrial Organization. – М.: , 2003. – 232 с. Roy H. Campbell, Prasad G. Naldurg. Security and Survivability: Analyzing, Modeling, and Verifying Dynamic Recovery in Insecure Systems. – М.: , 2008. – 240 с. Doug Stokes, Sam Raphael. Global Energy Security and American Hegemony (Themes in Global Social Change). – М.: , 2010. – 296 с. Alan Hevner, Samir Chatterjee. Design Research in Information Systems: Theory and Practice (Integrated Series in Information Systems). – М.: , 2010. – 393 с. Daniel W Mcshea. Biology?s First Law – The Tendency for Diversity and Complexity to Increase in Evolutionary Systems. – М.: , 2010. – 184 с. Daniel W Mcshea. Biology?s First Law – The Tendency for Diversity and Complexity to Increase in Evolutionary Systems. – М.: , 2010. – 184 с. Reinhold Scheck. Microsoft Office Excel 2007 Toolkit – Microsoft Office Excel 2007 Step by Step and Create Dynamic Charts in Microsofr Office Excel 2007 and Beyo SET. – М.: , 2009. – 1040 с. Andrew Boon and Jenny Levin. The Ethics and Conduct of Lawyers in the United Kingdom. – М.: , 2011. – 432 с. Andrew Boon and Jenny Levin. The Ethics and Conduct of Lawyers in the United Kingdom. – М.: , 2011. – 432 с. Edited by Benjamin J Goold and Liora Lazarus. Security and Human Rights. – М.: , 2011. – 426 с. Helen Toner, Elspeth Guild and Anneliese Baldaccini. Whose Freedom, Security and Justice?. – М.: , 2011. – 582 с. Shaaban Abdallah and Salah Soliman. Micro-Particles and Gas Dynamics in an Axi-Symmetric Supersonic Nozzle. – М.: LAP Lambert Academic Publishing, 2014. – 164 с. Soham Biswas. Novel Dynamical Phenomena In Magnetic Systems. – М.: LAP Lambert Academic Publishing, 2013. – 136 с. THEIVASANTHI THIRUGNANASAMBANDAN and S. SIVADEVI. CHAOS, BIFURCATIONS AND SIMPLE DYNAMICAL MODELS. – М.: LAP Lambert Academic Publishing, 2010. – 80 с. Muhammad Azfar Anwar and Saif ur Rehman. Defense Spending, National Security and Economic Growth of Pakistan. – М.: LAP Lambert Academic Publishing, 2012. – 128 с. Mohammad and Mohammad Faris. Network Security and Intrusion Attacks. – М.: LAP Lambert Academic Publishing, 2012. – 104 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Ольга, 13.05 Мой научник проверил работу. Вот что он ответил: По-моему, все очень достойно. У меня самые благоприятные впечатления от работы. Теперь главное - подготовить выступление. Так что спасибо Вам огромное, Марина Михайловна! Буду прошивать и готовить презентацию. Надеюсь, смогу ярко выступить.
