Автоматизация проверки некорректности конфигурирования сетевых экранов

11 / 11

[6] Wool A. A quantitative study of firewall configuration errors. IEEE Computer, 2004,
vol. 37, no. 6, pp. 62–67. DOI:10.1109/MC.2004.2
[7] Manna Z., Pnueli A. Temporal verification of reactive systems: progress. N.Y.,
Springer-Verlag, 1996. Draft manuscript.
[8] Lemmon E. Algebraicheskaya semantika dlya modal’nykh logik I. II. V kn.:
Semantika modal’nykh i intensional’nykh logik. Pod red. Smirnova V.A. [Algebraic
semantics for modal logics I. II. In book: The semantics of modal and intensional
logics. Ed. by Smirnov V.A.]. Moscow, Progress Publ., 1981. 424 p.
[9] Osnovy programmirovaniya na yazyke Prolog: Informatsiya
[Fundamentals of Programming in Prolog: Information]. Available at:
(accessed 24.09.2014).
[10] Osnovy programmirovaniya na yazyke Visual Prolog [Fundamentals of Programming
in Visual Prolog]. Available at:
(accessed 24.09.2014).
Статья поступила в редакцию 24.09.2014
Девятков Владимир Валентинович — д-р техн. наук, профессор, заведующий ка-
федрой “Информационные системы и телекоммуникации” МГТУ им. Н.Э. Баумана.
Автор более 120 научных работ (в том числе трех монографий) в области искус-
ственного интеллекта, распознавания образов, принятия решений, логических исчи-
слений, представления знаний, теории конечных автоматов, логического синтеза и
анализа дискретных устройств и систем.
МГТУ им. Н.Э. Баумана, Российская Федерация, 105005, Москва, 2-я Бауманская ул.,
д. 5.
Devyatkov V.V. — Dr. Sci. (Eng.), professor, head of “Information System and
Telecommunication” department of the Bauman Moscow State Technical University.
Author of more than 120 publications (including three monographs) in the field of artificial
intelligence, pattern recognition, decision making, logic calculi, knowledge representation,
theory of finite state machines, logical synthesis and analysis of discrete devices and
systems.
Bauman Moscow State Technical University, 2-ya Baumanskaya ul. 5, Moscow, 105005
Russian Federation.
Мьо Тан Тун — аспирант кафедры “Информационные системы и телекоммуникации”
МГТУ им. Н.Э. Баумана.
МГТУ им. Н.Э. Баумана, Российская Федерация, 105005, Москва, 2-я Бауманская ул.,
д. 5.
Myo Than Tun — post-graduate of “Information System and Telecommunication”
department of the Bauman Moscow State Technical University.
Bauman Moscow State Technical University, 2-ya Baumanskaya ul. 5, Moscow, 105005
Russian Federation.
110 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 1