6
Publications
2K
Citations
6
H-Index
2002
Active since
Affiliations
Oleg Sheyner is an author at Carnegie Mellon University specializing in engineering, network analysis, and information security.
Top concepts
EngineeringComputer ScienceNetwork AnalysisInformation SecurityData SecurityFormal MethodsSoftware AnalysisFormal VerificationSecurityData Science
Publications per year
2002–2005
6
6
Automated generation and analysis of attack graphs
Oleg Sheyner, Joshua Haines, Somesh Jha et al. · 2005 · 1.3K citations
Two formal analyses of attack graphs
Somesh Jha, Oleg Sheyner, J.M. Wing · 2003 · 489 citations
Scenario graphs and attack graphs
Oleg Sheyner, Jeannette M. Wing · Defense Technical Information Center (DTIC) · 2004 · 173 citations
Rows per page
1–5 of 6