Обеспечение надежности физических систем: выявление мест возможного включения вредоносных подсхем (Trojan Circuits) в последовательностных схемах

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Обеспечение надежности физических систем: выявление мест возможного включения вредоносных подсхем (Trojan Circuits) в последовательностных схемах	537 KB	Adobe Acrobat PDF	Read	Download

#последовательностные схемы

#управляемость и наблюдаемость полюса комбинационной схемы

#STG-описание

#вредоносные схемы

Title: Обеспечение надежности физических систем: выявление мест возможного включения вредоносных подсхем (Trojan Circuits) в последовательностных схемах
Creator: Матросова, Анжела Юрьевна
|
Кириенко, Ирина Евгеньевна
|
Томков, Владислав Владимирович
|
Мирютов, Алексей Анатольевич
Date: 2016
Description: Надежность функционирования физических систем определяется надежностью составляющих их компонентов, в том числе логических управляющих компонентов. В связи с появлением возможности включения в логические схемы «вредоносных подсхем», разрушающих систему или обеспечивающих считывание в ней конфиденциальной информации, возникает необходимость в обнаружении таких подсхем, а затем, если возможно, нейтрализации их воздействия на систему. Предлагается метод определения множества полюсов последовательностных схем, «подозреваемых» на возможность включения в них вредоносных подсхем (Trojan Circuits). Метод основан на использовании вероятностных характеристик полюсов, вычисленных по комбинационной составляющей и рабочей области функционирования последовательностной схемы, а также на определении достижимости состояния из заданного множества без вычисления последовательности, обеспечивающей достижение состояния. Метод позволяет существенно сократить вычислительные затраты за счет использования операций над ROBDD-графами, в том числе над графами, зависящими только от внутренних переменных схемы. Предлагаемый подход, в отличие от традиционных, не требует предварительного моделирования последовательностной схемы, хотя и может быть использован совместно с моделированием. Этот подход может быть использован, когда вредоносные подсхемы не могут быть обнаружимы в процессе верификации схемы.

Relationships: Show Relationship Browser for this Object
collection(s): Факультет прикладной математики и кибернетики (до 01.09.2017 г.) | Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Известия высших учебных заведений. Физика. 2016. Т. 59, № 8. С. 140-147
Language: rus

Created: 25-06-2024

348 Visitors

286 Hits

69 Downloads

Факультет прикладной математики и кибернетики (до 01.09.2017 г.)

Журналы ТГУ Обеспечение надежности физических систем: выявление мест возможного включения вредоносных подсхем (Trojan Circuits) в последовательностных схемах