Author Kavchuk Daria A. Journal Scientific and Technical Of Information Technologies, Mechanics and Optics

2024 , VOLUME 24, NUMBER 5 ( september-october )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Menu

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

Kavchuk Daria A.

Work place: CloudLinux Inc., Palo Alto, 94303, USA
Post: software developer
E-mail: dasha.kavchuk@yandex.ru

Kavchuk D. A., Matveev Y. N. AUTOMATIC SECURITY ANALYSIS OF INFORMATION SYSTEMS INDEPENDENTLY OF FORMAL SPECIFICATIONS
The article was published in issue 3, volume 17, 2017

Copyright 2001-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.