Evgeny Sergeevich Abramov, Elena Barannik, Oleg B. Makarevich. Methods of automated analysis of vendor specific implementation of stateful-filtration. In Manoj Singh Gaur, Atilla Elçi, Oleg B. Makarevich, Mehmet A. Orgun, Virendra Singh, editors, 5th International Conference of Security of Information and Networks, SIN '12, Jaipur, India, October 22 - 26, 2012. pages 158-162, ACM, 2012. [doi]
Abstract is missing.