Formal Verification of Security Policy Implementations in Enterprise Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

P. Bera, S. K. Ghosh, Pallab Dasgupta. Formal Verification of Security Policy Implementations in Enterprise Networks. In Atul Prakash, Indranil Gupta, editors, Information Systems Security, 5th International Conference, ICISS 2009, Kolkata, India, December 14-18, 2009, Proceedings. Volume 5905 of Lecture Notes in Computer Science, pages 117-131, Springer, 2009. [doi]

This author has not been identified. It may be one of the following persons:

Palash Bera

Look up 'P. Bera' in GoogleThis author has not been identified. Look up 'S. K. Ghosh' in GoogleThis author has not been identified. Look up 'Pallab Dasgupta' in Google

runs on WebDSL