DocumentCode
2759425
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
fYear
2011
fDate
Oct. 31 2011-Nov. 1 2011
Firstpage
1
Lastpage
8
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SafeConfig.2011.6111673
Filename
6111673
Link To Document