Prasad Naldurg Modeling Insecurity: Enabling Recovery -Oriented Security With Dynamic Policies University of Illinois Urbana-Champaign, USA 2004 https://hdl.handle.net/2142/81642