%0 Journal Article %1 journals/iet-net/MaityBGA15 %A Maity, Soumya %A Bera, Padmalochan %A Ghosh, S. K. %A Al-Shaer, Ehab %D 2015 %J IET Networks %K dblp %N 2 %P 137-147 %T Formal integrated network security analysis tool: formal query-based network security configuration analysis. %U http://dblp.uni-trier.de/db/journals/iet-net/iet-net4.html#MaityBGA15 %V 4

@article{journals/iet-net/MaityBGA15, added-at = {2015-05-27T00:00:00.000+0200}, author = {Maity, Soumya and Bera, Padmalochan and Ghosh, S. K. and Al-Shaer, Ehab}, biburl = {https://www.bibsonomy.org/bibtex/2afc45882e429477cb5fc52761fa528aa/dblp}, ee = {http://dx.doi.org/10.1049/iet-net.2013.0090}, interhash = {e927e3aae1be97d55043b10645c6f015}, intrahash = {afc45882e429477cb5fc52761fa528aa}, journal = {IET Networks}, keywords = {dblp}, number = 2, pages = {137-147}, timestamp = {2015-06-18T04:44:23.000+0200}, title = {Formal integrated network security analysis tool: formal query-based network security configuration analysis.}, url = {http://dblp.uni-trier.de/db/journals/iet-net/iet-net4.html#MaityBGA15}, volume = 4, year = 2015 }