Логин:
Пароль:

Работа №2281
Название работы
Исследование и разработка доверенного программно-аппаратного обеспечения для создания безопасных компьютерных систем логического управления
Автор работы
Агибалов Геннадий Петрович
Дата начала работы Дата окончания работы
2014-01-01 2016-12-31
Аннотация
Конечной целью проекта является создание доверенного программно-аппаратного обеспечения на базе криптографического расширения ЛЯПАС-Т Русского языка программирования ЛЯПАС для автоматизированного проектирования компьютерных систем логического управления со свойствами безопасности (невозможности несанкционированного управления) и реактивности (возможности исполнения управляющих команд в реальном времени). Первое свойство обеспечивается методами криптографической защиты управляющей информации, второе — аппаратной реализацией времяёмких алгоритмов управления и защиты и реактивной операционной системой. Аппаратная реализация осуществляется двояко — на базе спецпроцессора с системой команд ЛЯПАСа-Т и на базе схем из функциональных или переключательных элементов. В первом случае алгоритм управления или защиты представляется на ЛЯПАСе-Т и транслируется препроцессором в исполняемый код для выполнения непосредственно спецпроцессором, а во втором — для него автоматически синтезируется функциональная или переключательная схема посредством библиотеки прикладных программ, представленных также на ЛЯПАСе-Т и оттранслированных компилятором в исполняемый код ОС Linux. Реактивность операционной системы (она тоже пишется на ЛЯПАСе-Т) достигается её специализацией только на задачах управления и защиты. Доверенность этого программно-аппаратного обеспечения (компилятора ЛЯПАСа-Т, препроцессора, процессора, операционной системы, библиотеки прикладных программ), а также компьютерных управляющих систем, создаваемых с его помощью, гарантируется отсутствием уязвимостей в программах на ЛЯПАСе-Т и, кроме того, открытостью, прозрачностью (лёгкостью чтения) последних и полной документированностью программного кода и аппаратной реализации, исключающей вредоносные закладки, присущие импортному обеспечению. Эти свойства достигаются благодаря выразительности средств ЛЯПАСа, позволяющей разработчику алгоритмов самому писать и отлаживать программы, сохраняя их проприетарность, или, наоборот, публикуя их для чтения, контроля и применения другими пользователями.
Тип НИР Источник финансирования Объем финансирования Вид работы
Получить полный доступ Получить полный доступ Получить полный доступ Получить полный доступ
Заказчик
Получить полный доступ
ГРНТИ УДК Инвентарный номер Госшифр Госконтракт Договор
Получить полный доступ Получить полный доступ Получить полный доступ Получить полный доступ Получить полный доступ Получить полный доступ
Ключевые слова
ЛОГИЧЕСКОЕ УПРАВЛЕНИЕ, АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ, ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, АППАРАТНАЯ РЕАЛИЗАЦИЯ, КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ, КРИПТОГРАФИЧЕСКАЯ ЗАЩИТА ИНФОРМАЦИИ, РУССКИЙ ЯЗЫК ПРОГРАММИРОВАНИЯ, ЛЯПАС-Т
Предполагаемый результат работы
Получить полный доступ
Организации соисполнители
Получить полный доступ
Государственный учет результатов НИОКР в БД РНТД Минобрнауки РФ
Получить полный доступ
Основание к регистрации темы (электронный вариант)
Только для служебного пользования
   
2007 © ОНТИ НУ ТГУ
E-mail: onti@sun.lib.tsu.ru
Тел: 52-76-99