Formal analysis of policy-based security configurations in enterprise networks

S. K. Ghosh^*, Ehab Al-Shaer, P. Bera

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Handbook on Securing Cyber-Physical Critical Infrastructure
Publisher	Elsevier Inc.
Pages	595-631
Number of pages	37
ISBN (Print)	9780124158153
DOIs	https://doi.org/10.1016/B978-0-12-415815-3.00024-8
State	Published - 2012
Externally published	Yes

ASJC Scopus subject areas

@inbook{d4ea1fa4e4f34ee98295f72477a7d90a,

title = "Formal analysis of policy-based security configurations in enterprise networks",

author = "Ghosh, {S. K.} and Ehab Al-Shaer and P. Bera",

year = "2012",

doi = "10.1016/B978-0-12-415815-3.00024-8",

language = "English",

isbn = "9780124158153",

pages = "595--631",

booktitle = "Handbook on Securing Cyber-Physical Critical Infrastructure",

publisher = "Elsevier Inc.",

address = "United States",

}

TY - CHAP

T1 - Formal analysis of policy-based security configurations in enterprise networks

AU - Ghosh, S. K.

AU - Al-Shaer, Ehab

AU - Bera, P.

PY - 2012

Y1 - 2012

UR - http://www.scopus.com/inward/record.url?scp=84884005433&partnerID=8YFLogxK

U2 - 10.1016/B978-0-12-415815-3.00024-8

DO - 10.1016/B978-0-12-415815-3.00024-8

M3 - Chapter

AN - SCOPUS:84884005433

SN - 9780124158153

SP - 595

EP - 631

BT - Handbook on Securing Cyber-Physical Critical Infrastructure

PB - Elsevier Inc.

ER -