Title :
Reasoning about the security configuration of SAN switch fabrics
Author :
Fitzgerald, William M. ; Foley, Simon N.
Author_Institution :
Dept. of Comput. Sci., Univ. Coll. Cork, Cork, Ireland
fDate :
Oct. 31 2011-Nov. 1 2011
Abstract :
Management of a switch fabric security configuration, a core component of Storage Area Networks, is complex and error prone. As a consequence, misconfiguration of and/or a poor understanding of a switch fabric may unnecessarily expose an enterprise to known threats. A formal model of a switch security configuration is presented. This model is reasoned over to help manage complex switch fabric security configurations.
Keywords :
computer network security; formal logic; formal specification; formal verification; storage area networks; SAN switch fabric; formal model; storage area networks; switch security configuration; Access control; Arrays; Fabrics; Servers; Storage area networks; Switches;
Conference_Titel :
Configuration Analytics and Automation (SAFECONFIG), 2011 4th Symposium on
Conference_Location :
Arlington, VA
Print_ISBN :
978-1-4673-0401-6
Electronic_ISBN :
978-1-4673-0400-9
DOI :
10.1109/SafeConfig.2011.6111673
