Files in this item

FilesDescriptionFormat

application/pdf

application/pdf3130990.pdf (9MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Modeling Insecurity: Enabling Recovery -Oriented Security With Dynamic Policies
Author(s):Naldurg, Prasad G.
Doctoral Committee Chair(s):Campbell, Roy H.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract: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.
Issue Date:2004
Type:Text
Language:English
Description:155 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2004.
URI:http://hdl.handle.net/2142/81642
Other Identifier(s):(MiAaPQ)AAI3130990
Date Available in IDEALS:2015-09-25
Date Deposited:2004


This item appears in the following Collection(s)

Item Statistics