Research


MiMaNSAS
  • Attack Trees
  • Attack graphs
  • Defense Trees
  • Security and Survivability Modeling
NEC
  • Performability Management of Virtualized Data Center
  • Component based Availability Modeling for Cloud computing Platform
IBM
  • Performability modeling of Cloud computing systems using Analytic Modeling Techniques and Simulation
JPL
  • Uncertainty propagation
NASA/JPL
  • Software bugs classification and Model checking

 


Duke University | Electrical&Computer Engineering

Last updated: 1/13/2010