2026-09-21T03:21:26Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/81642 2023-07-11 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

Campbell, Roy H. Naldurg, Prasad G. 2015-09-25T20:19:40Z 2015-09-25T20:19:40Z 10000-01-01 2004 2004 To showcase the expressive power of our framework, I apply it to study network Denial of Service (DoS) attacks, and model resilience to such attacks as a survivability property. I show how we can systematically analyze the relative impact of different anti-DoS strategies by changing policies and mechanisms during an attack. Using our automated verification methodology, we formally prove for the first time whether strategies such as selective filtering, strong-authentication, and client-puzzles reduce the vulnerability of an example network to DoS attacks. Made available in DSpace on 2015-09-25T20:19:40Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3130990.pdf: 8625419 bytes, checksum: 800c8884f4eba5dc4caf915b1bd2fd66 (MD5) Previous issue date: 2004 Embargo set by: Seth Robbins for item 82923 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs U of I Only 155 p. Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2004. http://hdl.handle.net/2142/81642 (MiAaPQ)AAI3130990 eng Computer Science Modeling Insecurity: Enabling Recovery -Oriented Security With Dynamic Policies text Computer Science Computer Science University of Illinois at Urbana-Champaign Dissertation Ph.D.