Oleg Sheyner

Tools for Generating and Analyzing Attack Graphs

Jeannette M. Wing, Oleg Sheyner, Oleg Sheyner, 2003, FMCO.

Two formal analyses of attack graphs

Somesh Jha, Jeannette M. Wing, Oleg Sheyner, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.

Scenario Graphs and Attack Graphs : a Summary

Oleg Sheyner, Oleg Sheyner, 2004 .

Minimization and Reliability Analyses of Attack Graphs

Somesh Jha, Jeannette M. Wing, Oleg Sheyner, 2002 .

Automated generation and analysis of attack graphs

Somesh Jha, Richard Lippmann, Jeannette M. Wing, 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.

Scenario graphs and attack graphs

Jeannette M. Wing, Oleg Sheyner, Oleg Sheyner, 2004 .

Toward Compositional Analysis of Security Protocols Using Theorem Proving

Jeannette M. Wing, Oleg Sheyner, 2000 .

Attack scenario graphs for computer network threat analysis and prediction

Oleg Sheyner, Todd Hughes, Todd Hughes, 2003, Complex.