survivability, e.g., “Attack-potential-based survivability modeling for
high-consequence systems” and “Merging Paradigms of Survivability
and Security: Stochastic Faults and Designed Faults”
u Computer Security: Developing high-assurance building blocks,