|
|
|
|
| LEADER |
04235nab a2200325 c 4500 |
| 001 |
koha001141760 |
| 005 |
20240701155731.0 |
| 007 |
cr | |
| 008 |
240625|2016 ru s c rus d |
| 035 |
|
|
|a koha001141760
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 245 |
1 |
0 |
|a Обеспечение надежности физических систем: выявление мест возможного включения вредоносных подсхем (Trojan Circuits) в последовательностных схемах
|c А. Ю. Матросова, И. Е. Кириенко, В. В. Томков, А. А. Мирютов
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 3 назв.
|
| 520 |
3 |
|
|a Надежность функционирования физических систем определяется надежностью составляющих их компонентов, в том числе логических управляющих компонентов. В связи с появлением возможности включения в логические схемы «вредоносных подсхем», разрушающих систему или обеспечивающих считывание в ней конфиденциальной информации, возникает необходимость в обнаружении таких подсхем, а затем, если возможно, нейтрализации их воздействия на систему. Предлагается метод определения множества полюсов последовательностных схем, «подозреваемых» на возможность включения в них вредоносных подсхем (Trojan Circuits). Метод основан на использовании вероятностных характеристик полюсов, вычисленных по комбинационной составляющей и рабочей области функционирования последовательностной схемы, а также на определении достижимости состояния из заданного множества без вычисления последовательности, обеспечивающей достижение состояния. Метод позволяет существенно сократить вычислительные затраты за счет использования операций над ROBDD-графами, в том числе над графами, зависящими только от внутренних переменных схемы. Предлагаемый подход, в отличие от традиционных, не требует предварительного моделирования последовательностной схемы, хотя и может быть использован совместно с моделированием. Этот подход может быть использован, когда вредоносные подсхемы не могут быть обнаружимы в процессе верификации схемы.
|
| 653 |
|
|
|a последовательностные схемы
|
| 653 |
|
|
|a управляемость и наблюдаемость полюса комбинационной схемы
|
| 653 |
|
|
|a STG-описание
|
| 653 |
|
|
|a вредоносные схемы
|
| 655 |
|
4 |
|a статьи в журналах
|
| 700 |
1 |
|
|a Матросова, Анжела Юрьевна
|
| 700 |
1 |
|
|a Кириенко, Ирина Евгеньевна
|
| 700 |
1 |
|
|a Томков, Владислав Владимирович
|
| 700 |
1 |
|
|a Мирютов, Алексей Анатольевич
|
| 773 |
0 |
|
|t Известия высших учебных заведений. Физика
|d 2016
|g Т. 59, № 8. С. 140-147
|x 0021-3411
|w 0026-80960
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141760
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1141760
|d 1141760
|
