УДК 65.012.8
Грищенко К.П., Чулюков В.А.
контролЬ программного обеспечения на Отсутствие недекларированных возможностей с помощью аппарата сетей петри
Воронежский государственный педагогический университет, Воронеж, Ленина 86, 65029
UDC 65.012.8
Grischenko K.P., Chuljukov V.A.
THE CONTROL SOFTWARE ON THE ABSENCE OF UNDECLARED CAPABILITIES WITH THE HELP OF PETRI NETS
Voronezh State Pedagogical University, Voronezh, Lenina 86
В данной работе рассматривается возможность использования аппарата сетей Петри для предотвращения несанкционированного доступа к информации, обрабатываемой в мобильных системах, путем заблаговременного выявления недекларированных возможностей программного обеспечения.
Ключевые слова: сети Петри, несанкционированный доступ, недекларированные возможности.
In this work the possibility of using the apparatus of Petri nets to prevent unauthorized access to the information processed in mobile systems, by early identification of undeclared capabilities of the software.
Key words: Petri nets, unauthorized access, undeclared capabilities.