November 9, 2006: Seminar: Jeannette M. Wing:"Automatic Generation and Analysis of Attack Graphs"

Seminar Announcement

Automatic Generation and Analysis of Attack Graphs

Jeannette M. Wing
Carnegie Mellon University
Thursday, November 9, 2006
11:00 a.m., Room 1000 SEO


Attack graphs represent the ways in which an adversary can exploit vulnerabilities to break into a system. System administrators analyze these attack graphs to understand where their system's weaknesses lie and to help decide which security measures will be effective to deploy. In practice, attack graphs are produced manually by Red Teams. Construction by hand, however, is tedious, error-prone, and impractical for attack graphs larger than a hundred nodes. In this talk I present a technique, based on model checking, for generating attack graphs automatically. I also describe different analyses that system administrators can perform in trading off one security measure for another. These analyses can answer questions such as "Given a set of measures, what is a minimum subset needed to make this system safe?" This work is joint with Somesh Jha and Oleg Sheyner.

Brief Bio:

Dr. Jeannette M. Wing is the President's Professor of Computer Science and the Head of the Computer Science Department at Carnegie Mellon University. She received her S.B. and S.M. degrees in Electrical Engineering and Computer Science in 1979 and her Ph.D. degree in Computer Science in 1983, all from the Massachusetts Institute of Technology.

Professor Wing's general research interests are in the areas of specification and verification, concurrent and distributed systems, and programming languages. Her current focus is on the foundations of trustworthy computing.

Professor Wing is a member of many advisory boards, including the National Academies of Sciences's Computer Science and Telecommunications Board, Microsoft's Trustworthy Computing Academic Advisory Board, and the Intel Research Pittsburgh's Advisory Board. She is a Member-at-Large on ACM Council. She was a member of the DARPA Information Science and Technology (ISAT) Board and the National Science Foundation Scientific Advisory Board. She is a member of AAAS, ACM, IEEE, Sigma Xi, Phi Beta Kappa, Tau Beta Pi, and Eta Kappa Nu. Professor Wing is an ACM Fellow and an IEEE Fellow.

Host: Professor Jeff Tsai

Copyright 2016 The Board of Trustees
of the University of
Helping Women Faculty Advance
Funded by NSF