Automatic Verification of Distributed and Layered Security Policy Implementations
Singh, Sankalp; Sanders, William H.; Nicol, David M.; Seri, Mouna
Permalink
https://hdl.handle.net/2142/74607
Description
Title Automatic Verification of Distributed and Layered Security Policy Implementations Author(s) Singh, Sankalp Sanders, William H. Nicol, David M. Seri, Mouna Issue Date 2008-07 Keyword(s) Security assessment Access control Policy Firewalls SCADA Process control systems Publisher Coordinated Science Laboratory, University of Illinois at Urbana-Champaign Series/Report Name or Number Coordinated Science Laboratory Report no. UILU-ENG-08-2209, CRHC-08-05 Type of Resource text Language English Permalink http://hdl.handle.net/2142/74607 Sponsor(s)/Grant Number(s) National Science Foundation / CNS-0524695 U.S. Department of Homeland Security / 2006-CS-001-000001
Owning Collections
