|
Networking
|
|
This project focuses on security measures to prevent unwanted traffic on networks. It explores ideas for models and countermeasures for the analysis and prevention of denial of service attacks. In particular it looks at the shared channel model in terms of simulations and theoretical estimates for attacker rates when routers are taken into account.
People Publications- Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers,
Rohit Chadha, Carl A. Gunter, Jose Meseguer, Ravinder Shankesi, and Mahesh Viswanathan.
IFIP Formal Methods for Open Object-based Sistributed Systems (FMOODS '08), Oslo, Norway, June 2008. [BIB] - Adaptive Selective Verification,
Sanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, and Carl A. Gunter,
IEEE Conference on Computer Communications (INFOCOM '08), Phoenix, AZ, April 2008. [BIB] [PPT]
- Mitigating DoS Attack Through Selective Bin Verification,
Micah Sherr, Michael Greenwald, Carl A. Gunter, Sanjeev Khanna, and Santosh Venkatesh.
IEEE Workshop on Secure Network Protocols (NPsec '05), Boston, MA, November 2005. [BIB]
- Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories,
Gul Agha, Michael Greenwald, Carl A. Gunter, Sanjeev Khanna, Jose Meseguer, Koushik Sen, and Prasannaa Thati.
IEEE Workshop on Foundations of Computer Security (FCS '05), Chicago, IL, June 2005. - DoS Protection for Reliably Authenticated Broadcast,
Carl A. Gunter, Sanjeev Khanna, Kaijun Tan, and Santosh Venkatesh.
ICSOC Network and Distributed Systems Security Symposium (NDSS '04), San Diego, CA, February 2004.
|
|
Last Updated ( Thursday, 01 May 2008 )
|
|
|
© 2008 Illinois Security Laboratory
|
