Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Padmalochan Bera, Santosh K. Ghosh, Pallab Dasgupta. Integrated security analysis framework for an enterprise network - a formal approach. IET Information Security, 4(4):283-300, 2010. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Policy Based Security Analysis in Enterprise Networks: A Formal ApproachPadmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta. tnsm, 7(4):231-243, 2010. [doi] A Query based Formal Security Analysis Framework for Enterprise LANP. Bera, Soumya Maity, S. K. Ghosh, Pallab Dasgupta. IEEEcit 2010: 407-414 [doi] Formal Verification of Security Policy Implementations in Enterprise NetworksP. Bera, S. K. Ghosh, Pallab Dasgupta. iciss 2009: 117-131 [doi]
The following publications are possibly variants of this publication: