Files in this item

FilesDescriptionFormat

application/pdf

application/pdfB59-CRHC_08_05.pdf (9MB)
(no description provided)PDF

application/pdf

application/pdf08-2209.pdf (13MB)
Full TextPDF

Description

Title:Automatic Verification of Distributed and Layered Security Policy Implementations
Author(s):Singh, Sankalp; Sanders, William H.; Nicol, David M.; Seri, Mouna
Subject(s):Security assessment
Access control
Policy
Firewalls
SCADA
Process control systems
Issue Date:2008-07
Publisher:Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report:Coordinated Science Laboratory Report no. UILU-ENG-08-2209, CRHC-08-05
Genre:Report
Type:Text
Language:English
Description:Coordinated Science Laboratory was formerly known as Control Systems Laboratory
URI:http://hdl.handle.net/2142/74607
Sponsor:National Science Foundation / CNS-0524695
U.S. Department of Homeland Security / 2006-CS-001-000001
Date Available in IDEALS:2015-04-06


This item appears in the following Collection(s)

Item Statistics