Slide 1 Formal Models of Availability Carl A. Gunter University of Pennsylvania (Soon to be the University of Illinois) Slide 2 State of the Art in Formal Analysis of Security…
