A Query based Formal Security Analysis Framework for Enterprise LAN

P. Bera, Soumya Maity, S. K. Ghosh, Pallab Dasgupta. A Query based Formal Security Analysis Framework for Enterprise LAN. In 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010. pages 407-414, IEEE Computer Society, 2010. [doi]

Authors

P. Bera

This author has not been identified. It may be one of the following persons: Look up 'P. Bera' in Google

Soumya Maity

This author has not been identified. Look up 'Soumya Maity' in Google

S. K. Ghosh

This author has not been identified. Look up 'S. K. Ghosh' in Google

Pallab Dasgupta

This author has not been identified. Look up 'Pallab Dasgupta' in Google