Open AccessAutomatic security analysis of information systems independently of formal specifications
Author(s) -
Кавчук Дарья Александровна,
Матвеев Юрий Николаевич
Publication year - 2017
Publication title -
naučno-tehničeskij vestnik informacionnyh tehnologij, mehaniki i optiki
Language(s) - English
Resource type - Journals
eISSN - 2500-0373
pISSN - 2226-1494
DOI - 10.17586/2226-1494-2017-17-3-431-438
Subject(s) - tree traversal , computer science , data mining , tree (set theory) , set (abstract data type) , information security , state (computer science) , reliability (semiconductor) , theoretical computer science , algorithm , computer security , mathematics , mathematical analysis , power (physics) , physics , quantum mechanics , programming language