Корниенко, А. А. Метод формальной верификации и анализа защищенности реляционных баз данных на основе метамодели требований целостности [Текст] / А. А. Корниенко, М. Л. Глухарев> // Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 1. - С. 20-27 : табл., схема. - Библиогр.: с. 27 (7 назв.) . - ISSN 2071-8217
Рубрики: Вычислительная техника Диалоговые вычислительные системы для специальных целей Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): верификация -- формальная верификация -- базы данных -- реляционные базы данных -- безопасность баз данных -- метамодели целостности -- функциональная корректность -- ограничения целостности -- триггеры -- триггерные связки Аннотация: Рассматривается метод формальной верификации, основанный на метамодели требований целостности и позволяющий проверять функциональную корректность ограничений целостности и триггеров реляционных баз данных. Доп.точки доступа: Глухарев, М. Л. Нет сведений об экземплярах (Источник в БД не найден) |