Methods of automated analysis of vendor specific implementation of stateful-filtration. - Evgeny Sergeevich Abramov; Elena Barannik; Oleg B. Makarevich (SIN, 2012)