Инструментальное средство проверки безопасности кода, предназначенного для исполнения в Грид-сетях

類似資料

• О НЕКОТОРЫХ МЕТОДАХ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО КОДА
  著者:: А. А. Станкевичус
  出版事項: (2008-09-01)
• ПРИМЕНЕНИЕ ВЕРИФИКАЦИИ ДЛЯ ЗАЩИТЫ ГРИД ОТ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
  著者:: Алексей Алексеевич Станкевичус
  出版事項: (2009-06-01)
• Об одной модели распределения заданий для обеспечения комплексной безопасности вычислений в грид-среде
  著者:: П. Е. Голосов
  出版事項: (2009-12-01)
• Программная среда для динамического анализа бинарного кода
  著者:: В.А. Падарян, 等
  出版事項: (2009-01-01)
• ИССЛЕДОВАНИЕ СЛОЖНОСТИ ВЕРИФИКАЦИИ МОДЕЛЕЙ ДЛЯ ПРАВИЛ ЛОГИЧЕСКИХ КОМПОНЕНТОВ С УЧЕТОМ СВОЙСТВ БЕЗОПАСНОСТИ
  著者:: Е. А. Павлова, 等
  出版事項: (2009-12-01)