Специальное математическое и программное обеспечение изоморфных представлений структурных элементов в реляционных системах управления базами данных тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Молодченко, Жанна Анатольевна

• Молодченко, Жанна Анатольевна
• кандидат технических наук
• 2011

Оглавление диссертации кандидат технических наук Молодченко, Жанна Анатольевна

Введение.

Глава 1. Обзор средств программной защиты программных систем.

1.1 Реляционные СУБД как основа современных информационных. систем.

1.2 Форматирование бинарных строк как унифицированный подход для построения локальных средств защиты программных систем.

1.3 Криптографические методы, препятствующие непосредственному использованию данных.

1.4 Транспозиционные преобразования форматов битовых данных.

1.5 Организация представлений в СУБД.

1.6 Цели и задачи исследования.

Глава 2. Способы и модели битовой транспозиции бинарной строки.

2.1 Свойства полиморфного множества уникальных форматов вектора.

2.2 Модели изоморфных представлений структурных элементов данных в РСУБД.

2.3 Кластерная транспозиция бинарной строки.

2.4 Способы транспозиционных конверсий форматов.

Глава 3. Способы и алгоритмы стохастической генерации дескрипторов форматов.

3.1 Теоретико-множественные представления дескриптора формата.

3.2 Способы генерации дескрипторов форматов.

3.3 Алгоритмы формирования дескрипторов форматов.

Глава 4. Структура и функциональность комплекса программных модулей стохастической генерации дескрипторов форматов и полиморфных форматирующих множеств.

4.1 Структура комплекса программных модулей стохастической генерации дескрипторов форматов.

4.2 Структура и вид информационных контейнеров дескрипторов форматов.

4.3 Функциональные модули программного комплекса стохастической генерации уникальных дескрипторов форматов.

Основные результаты работы.

Введение диссертации (часть автореферата) на тему «Специальное математическое и программное обеспечение изоморфных представлений структурных элементов в реляционных системах управления базами данных»

Актуальность темы. Широкое внедрение разнообразных информационных технологий в бизнесе, торговле, социальной сфере, реализуемых в виде коммерческих программных систем различного назначения, сопровождается тем, что они становятся потенциально уязвимыми как в части используемых методов, обеспечивающих их функционирование и защиту, так и обрабатываемых данных. Программные средства защиты таких систем, как правило, представляются в виде отдельных пакетов, разрабатываемых вне рамок единой концепции, и их интеграция в целевую программную систему связана с серьезными ограничениями.

Решение комплекса вопросов по организации защиты указанных программных систем рационально производить в рамках реляционных систем управления базами данных (РСУБД), на основе которых формируются современные информационные технологии.

В программных средствах защиты программных систем, к которым относятся и РСУБД, необходимо ориентироваться на унифицированные решения, которые единообразно можно было бы использовать для поддержания корректного функционирования ряда компонентов системы.

Для РСУБД представляется перспективным подход, использующий управление форматами бинарных строк на основе изоморфных представлений, базовые решения которого можно использовать в ряде направлений защиты программных систем. Бинарные строки являются унифицированной формой представления программных кодов и операндов (структурных элементов - СЭ) в основной памяти ЭВМ в процессе функционирования программной системы РСУБД.

При указанном подходе представление структурных элементов в РСУБД осуществляется в двух форматах. Один из этих форматов, называемый основным форматом (ОФ), представляет структурные элементы в памяти ЭВМ в виде, определенном архитектурой используемого компьютера и доступном для адекватной смысловой интерпретации и обработки. Второй, называемый буферным форматом (БФ), представляет СЭ в виде, недоступном для их корректной интерпретации.

При реализации запросов к СУБД, предусматривающих формирование представлений, релевантных запросу, и связанных с операциями чтения, модификации и записи в таблицы баз данных, производится конвертирование СЭ из буферного формата в основной формат. После реализации запроса СЭ конвертируются из основного формата в буферный формат.

Конвертирование многообразных форматов широко используется в вычислительной технике и программировании.

В то же время необходимо отметить недостаточность проработки моделей и методов для многоцелевого оперативного управления бинарными форматами при представлении структурных элементов в РСУБД.

Актуальность исследований определена необходимостью создания способов, моделей, алгоритмов и их программной реализации, обеспечивающих управляемое оперативное формирование изоморфных представлений структурных элементов в реляционных СУБД.

Тематика диссертационной работы соответствует научной программе кафедры вычислительной техники и информационных систем Воронежской государственной лесотехнической академии ГРНТИ 68.47.01;50.49 «Автоматизация проектных работ при создании изделий микроэлектроники и лесного комплекса».

Цель и задачи исследования. Целью диссертационной работы является разработка перспективных способов, моделей и алгоритмов для обеспечения управляемого оперативного формирования изоморфных представлений структурных элементов РСУБД в процессе их хранения и обработки.

Для достижения поставленной цели в работе определены следующие задачи исследования: анализ современных методов управления представлениями структурных элементов в реляционных СУБД; разработка способов, математических моделей и алгоритмов для представления структурных элементов в РСУБД на основе использования множества изоморфных форматов; разработка структуры и функциональности компонентов комплекса программных модулей для управляемого формирования дескрипторов изоморфных представлений структурных элементов в РСУБД; разработка модулей специального программного обеспечения, реализующих управляемое формирование представлений структурных элементов в РСУБД.

Методы исследования. В качестве теоретической и методологической основы диссертационного исследования использованы элементы теории множеств, дискретной математики, теории вероятностей и технологий программирования .

Научная новизна. В работе получены следующие результаты, характеризующиеся как элементы научной новизны: математические модели структурных элементов в РСУБД, отличающиеся введением атрибутов, определяющих управляемое изменение форматов представлений СЭ, что позволяет обеспечить целенаправленное форматирование структурных элементов в процессе их обработки и хранения; способы и алгоритмы стохастической генерации дескрипторов формата, отличающиеся определением варьируемых параметров генерации, что позволяет управлять временем генерации дескрипторов, показателями стойкости структурных элементов к семантическому анализу, обеспечивать локальную уникальность констант форматирования и целостность дескрипторов; способы и алгоритмы формирования полиморфных множеств дескрипторов формата, отличающиеся обеспечением уникальности дескрипторов формата в пределах полиморфного множества и полиморфных множеств второго порядка, что позволяет сформировать необходимую инфраструктуру дескрипторов для динамического форматирования структурных элементов в РСУБД; структура и функциональность комплекса модулей специального программного обеспечения, предназначенных для управляемого формирования представлений структурных элементов в РСУБД, отличающихся использованием предложенных моделей и способов генерации дескрипторов формата и полиморфных множеств уникальных дескрипторов форматов, что позволяет использовать их в качестве концептуальной основы многоцелевых средств программной защиты программных систем.

Практическая значимость работы. Практическая значимость работы заключается в создании элементов специального математического и программного обеспечения для управляемого форматирования структурных элементов в РСУБД.

Реализация и внедрение результатов работы. Основные результаты диссертационного исследования в виде элементов специального математического и программного обеспечения средств изоморфного представления структурных элементов в РСУБД внедрены: в Саратовском государственном университете им Н.Г. Чернышевского (при разработке архитектур специальных аппаратных средств); в в/ч № 23626 (при ведении баз данных специального назначения).

По основным результатам работы получены два патента РФ, произведена регистрация программы в ФИПС.

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на Межвузовской научно-практической конференции «Проблемы и перспективы лесного комплекса» (Воронеж 2005), Международной научно-практической конференции «Наука и образование на службе лесного комплекса» (Воронеж 2005), Международных симпозиумах

Надежность и качество» (Пенза 2006, 2007), научно-техническая конференция МИРЭА (Москва 2010).

Публикации. Основное содержание работы изложено в 2 публикациях в издании, рекомендованных ВАК РФ, а также в 15 научно-технических публикациях. В работах, опубликованных в соавторстве [60,64,67,68], соискателем предложены математические модели транспозиционных преобразований, [72,75] - модели изоморфных представлений структурных элементов данных в РСУБД. В работах [65,69,71,73] представлены алгоритмы генерации дескрипторов форматов; [59,61,70] - способы и алгоритмы формирования уникальных множеств; [62,63,66,74] - разработана структура и функциональность модулей стохастической генерации уникальных множеств.

Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения, изложенных на 118 страницах, списка литературы из 126 наименований, приложения, содержащего акты внедрения; содержит 28 рисунков и 7 таблиц.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Молодченко, Жанна Анатольевна

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

1. Разработаны математические модели структурных элементов в РСУБД, отличающиеся использованием атрибутов, обеспечивающих управляемое изменение форматов их представлений, что позволяет организовать форматирование структурных элементов при их обработки и хранении.

2. Предложены способы и алгоритмы стохастической генерации дескрипторов формата, отличающиеся возможностью варьирования параметров генерации, что позволяет управлять временем генерации и показателями стойкости структурных элементов к семантическому анализу.

3. Представлены способы и алгоритмы формирования полиморфных множеств дескрипторов формата, отличающиеся обеспечением уникальности дескрипторов формата в пределах полиморфных множеств первого и второго порядка, что позволяет организовать множественное динамическое форматирование структурных элементов в распределенных реляционных базах данных.

4. Определена структура и функциональность комплекса программных модулей, предназначенных для управляемого форматирования структурных элементов в РСУБД, отличающиеся использованием предложенных моделей и способов генерации дескрипторов формата и формирования уникальных множеств дескрипторов форматов, что позволяет использовать их в качестве концептуальной основы многоцелевых средств программной защиты программных систем.

5. Внедрение способов и программных модулей управляемого формаI тирования структурных элементов при разработке архитектур специальных аппаратных средств (Саратовский государственный университет им Н.Г. Чернышевского), при ведении баз данных специального назначения (в/ч № 23626).

6. Внедрение способов, математических моделей и алгоритмов при организации обучения специалистов (в/ч № 23626) и студентов ГОУ ВПО «Саратовский государственный университет им. Н.Г. Чернышевского» при организации учебного процесса.

Список литературы диссертационного исследования кандидат технических наук Молодченко, Жанна Анатольевна, 2011 год

1. Акимов O.E. Дискретная математика: логика, группы, графы М.: Лаборатория базовых Знаний, 2001 - 376 с.

2. Анин Б. Защита компьютерной информации. СПб:БХВ, 2000. 384 с.

3. Асеев Г.Г. Абрамов О.М., Ситников Д.Э. Дискретная математика: Учеб. пособ. Ростов на Дону, Феникс, Харьков:Торсинг, 2003.-144 с.

4. Аскеров Т.М. Защита информации и информационная безопасность. Учебное пособие / под общей редакцией К.И. Курбакова. М.: Рос. Экон. Акад., 2001, 387 с.

5. Асосков A.B. и др. Поточные шрифты. М.: Кудиц- образ, 2003.-336 с.

6. Атре Ш. Структурный подход к организации баз данных. М.: Финансы и статистика, 1983.- 317 с.

7. Ахо А., Хопкрофт Д., Ульман Д. Структуры данных и алгоритмы: Пер. с англ.: М.: Издательский дом «Вильяме», 2003. 384 с.

8. Баричев C.B. Криптография без секретов. М.: Наука, 1998. 120 с.

9. Бармен. Скотт. Разработка правил информационной безопасности. -М.: Вильяме. 2002.-208 с.

10. Ю.Берж к. Теория графов и ее применения. М.: ИЛ, 1962.

11. Брассар Ж. Современная криптология: Пер. с англ. М.: Полимед, 1999.

12. Бойченко И.А., Харин В.Н. Технологии маскирования программных кодов и данных в информационных системах лесного комплекса

13. Василенко О. Н. Теоретико-числовые алгоритмы в криптографии. М.: МЦНМО, 2003. 328 с

14. Введение в криптографию / Под общ. ред. В.В. Ященко. М.: МЦНМО, 2000. -307 с.

15. Винокуров А. ГОСТ не прост, а . очень прост. М., Монитор, № 1, 1995.

16. Вирт Н. Алгоритмы и структуры данных: Пер. с англ. М.: Мир, 1989. 360 с

17. Гантер Р. Методы управления проектированием программного обеспечения: Пер. с англ. М.: Мир, 1981. 392 с.

18. Галатенко В.А. Информационная безопасность. М.: Финансы и статистика, 1997. 158 с.

19. Гайкович В.Ю., Ершов Д.В. Основы безопасности информационных технологий. М.: МИФИ, 1995. 298 с.

20. Гарсиа-Молина Г., Ульман Дж., Уидом Дж. Системы баз данных. Полный курс / Пер. с англ. — М. : Издательский дом "Вильяме", 2004. 1088 с.

21. Герасименко В.А. Защита информации в автоматизированных системах обработки данных (кн1). М.: Энергоатомиздат, 1994. 400с.

22. ГОСТ 28147-89 Системы обработки информации. Защита криптографическая. Алгоритм криптографического преобразования. М. Госстандарт СССР, 1989.

23. ГОСТ 34.11.-94. Информационная технология. Криптографическая защита информации. Функция хеширования. М.: Госстандарт России, 1994. (2.13), (3.11).

24. Голицына О.Л., Максимов Н.В., Попов И.И. Базы данных: учебное пособие. М.: ФОРУМ: ИНФРА-М, 2007.-400.

25. Гроссман И., Магнус В. Группы и их графы. М.: Мир, 1971.

26. Грэй П. Логика, алгебра и базы данных. М.: Машиностроение, 1989.- 359 с.

27. Гук М. Юров В. Процессоры Pentium 4, Athlon и Duron. СПб.Литер, 2001-512 с.

28. Дал. У., Дейкстра Э. Хоор К. Структурное программирование: Пер. с англ. М.: Мир, 1975.-343 с.

29. Дейт Д. Введение в системы баз данных. М.: Наука, 1980.- 464 с.

30. Диго С.М. Проектирование и использование баз данных. М.: Финансы и статистика, 1995. -208 с.

31. Домашев A.B. и др. Программирование алгоритмов защиты информации. Учебное пособие.- М.: Нолидж, 2002, -416с.

32. Защита от несанкционированного доступа к информации. Термины и определения: Руководящий документ. М.: Гостехкомиссия России 1992 г.

33. Иванов Б.Н. Дискретная математика: алгоритмы и программы: Учебн. Пособие. М. Лаборатория Базовых Знаний, 2002 - 288с.

34. Иванов М.А. Криптографические методы защиты информации в компьютерных системах и сетях. М.:КУДИЦ-ОБРАЗ, 2001,368 с.

35. Камаев В.А., Костерин В.В. Технология программирования. М.: Высш. шк.,2005.-359 с.

36. Карпова Т.С. Базы данных: модели, разработка, реализация. СПб.: Питер, 2001.

37. Керниган Б.В., Ритчи Д.М. Языки программирования М.: Финансы и статистика, 1992.

38. Кнут Д. Искусство программирования. Т. 1: Основные алгоритмы. 3-е изд. Вильяме: М.—СПб.—Киев, 2000, 682 с.

39. Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. М.: МЦНМО, 1999. 376 с.

40. Краковик А. Базы данных. М.: Мир, 1988. -246 с.

41. Кривко О.Б. Информационные технологии. М.: СОМИНТЭК. 2000.

42. Криптология наука о тайнописи // Компьютерное обозрение. 1999. №3. с. 10-17

43. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера.-М.: Энергия, 1980.

44. Кузнецов С.Д. Базы данных. Модели и языки. Бином пресс, 2008, 720 с.

45. Лекции по теории графов/ Емеличев В.А, Мельников О.И, Сарванов В.И., Тышкевич Р.И. М.: Наука, 1990.

46. Липский В. Комбинаторика для программистов. М.: Мир, 1988

47. Лопатин В.Н. Информационная безопасность России: Человек. Общество Государство / Санкт-Петрбургский университет МВД России. СПб.:Фонд «Университет». 2000. 428 с.

48. Малыхина М.П. Базы данных: основы, проектирование, использование. Второе издание. ВНУ, 2007, 528 с.

49. Мамаев E.B. MS SQL Server 7.0. проектирование и реализация баз данных.- СПб.: БХВ -Санкт-Петербург,2000,- 416 с.

50. Мартин Д. Организация баз данных в вычислительных системах. М.: 1980.- 602 с.

51. Мартин Грабер. Введение в SQL. М.: 1996. -400 с.

52. Меженный O.A. TURBO Pascal М.: Издательский дом «Вильяме», 2002. - 448 с.

53. Мейер Д. Теория реляционных баз данных. М.: Мир, 1987. 608 с.

54. Мелихов А.Н. Ориентированные графы и конечные автоматы. М.: Наука, 1971.

55. Мельников В. Защита информации в компьютерных системах, М.: «Финансы и статистика», «Электроинформ». 1997. 364 с.

56. Молодченко Ж.А. Кластерная транспозиция структурных элементов реляционных СУБД. Труды Института системного анализа Российской академии наук (ИСА РАН). 2010. с.234-237.

57. Молодченко Ж.А., Сотов Л.С., Харин В.Н. Модуль генерации форматирующих сред в распределенных реляционных СУБД. Труды международного симпозиума НАДЕЖНОСТЬ И КАЧЕСТВО Том 1/Под ред.Н.К.Юркова Пенза:Изд-во Пенз.гос.ун-та,2006. - 410 с. 179-182.

58. Молодченко Ж.А., Сотов Л.С., Харин В.Н. Стохастическое кластерное моделирование картезиана двудольного графа в рамках наложенных ограничений // Воронеж. Гос.Лесотехн.Акад. Воронеж 2006- 12 сРус.Деп. в ВИНИТИ 03.10.2006 №1190-В 2006

59. Молодченко Ж.А., Сотов Л.С., Харин В.Н. Аппаратный акселератор сервера форматирования данных. Труды международного симпозиума НАДЕЖНОСТЬ И КАЧЕСТВО 2007 /Под ред.Н.К.Юркова Пенза:Изд-во Пенз.гос.ун-та,2007. - 410 с. 134-136.

60. Молодченко Ж.А., Сотов Л.С., Харин В.Н. К вопросу об архитектуре аналого-цифровых систем генерации случайных сигналов. Труды международного симпозиума НАДЕЖНОСТЬ И КАЧЕСТВО 2007 /Под ред.Н.К.Юркова Пенза:Изд-во Пенз.гос.ун-та,2007. - 410 с. 85-87.

61. Молодченко Ж.А., Сотов Л.С., Харин В.Н. Алгоритм создания диверси-фикационного метода битовых преобразований. Естественные и технические науки. М.: Спутник +, 2007, № 6, с.35-39.

62. Молодченко Ж.А., Сотов Л.С., Харин В.Н. Математические модели транспозиционных преобразований. М: Радиотехника. 2007г. №12 том 5 стр. 58-60.

63. Молодченко Ж.А., Сотов Л.С., Харин В.Н. Динамическое форматироваVние представлений объектов реляционных СУБД на основе кластерных транспозиций. Естественные и технические науки. М.: Спутник +, 2007, № 6, с.47-51.

64. Молодченко Ж.А. Алгоритм создания файловой системы уникальных форматирующих множеств. Естественные и технические науки. М.: Спутник +, 2007, №6, с.51-55

65. Молодченко Ж.А., Сотов JI.C., Харин В.Н. Структура подсистемы стохастической генерации дескрипторов форматов. Аспирант и соискатель. М.: Спутник +, 2009, № 4, с. 100-103

66. Нефедов В.Н., Осипова В.А. Курс дискретной математики.- М.: МАИ, 1992.

67. Новиков Ф.А. Дискретная математика для программистов. — СПб: Питер, 2001.

68. Носов В.А. Специальные главы дискретной математики: Учебное пособие. М., 1990.

69. Партыка Т.Л., Попов И.И. Информационная безопасность. Учеб. пособ. для студентов среднего профессионального образования.- М.гФОРУМ: ИНФРА-М., 2002-368 с.

70. Петров A.A. Компьютерная безопасность. Криптографические методы защиты. М.:ДМК, 2000, 448 с.

71. Петров В.А., Пискарев A.C., Шеин A.B. Информационная безопасность, защита информации от НСД в АС: Учебн.пособие/МИФИ.-М., 1993.

72. Прохоров Ю.В., Розанов Ю.А. Теория вероятностей. Основные понятия, предельные теоремы, случайные процессы. М.: Наука, 1967 Сер. Справочная математическая библиотека. 298 с.

73. Расторгуев С.П. Программные методы защиты информации в компьютерах и сетях. М.:Яхтсмен, 1993.

74. Ревунков Г.И., Самохвалов Э.Н., Чистов В.В. Базы и банки данных и знаний. М.: Высш. шк., 1992.- 392 с.

75. Романовский И.В. Дискретный анализ. СПб:Невский диалект,2000-240 с.

76. Ростовцев А.Г., Михайлова Н.В. Методы криптоанализа и классических шифров. М.: Наука, 1995. 208 с.

77. Рудзицкий Б.М. Защита информации в вычислительных системах. -М.: Знание, 1982

78. Рыбников К.А. Введение в комбинаторный анализ. — М.:МГУ, 1972

79. Саймон А.Р. Стратегические технологии баз данных. М.: Знание, 1982.254 с.

80. Саломаа А. Криптография с открытым ключом. М.: Мир, 1996. -351 с.

81. Симмонс Г. Дж. Обзор методов аутентификации информации: Пер. с англ. // ТИИЭР, 1988. Т. 76. №5. С. 35-37.

82. Свами М., Тхуласираман К. Графы, сети и алгоритмы. М.: Мир, 1984.

83. Смирнов С.Н. Безопасность систем баз данных. Гелиос АРВ. 2007, 352 с.

84. Судоплатов C.B., Овчинникова Е.В. Элементы дискретной математики: Учебник. М.:ИНФРА-М, Новосибирск: Изд-во НГТУ. 2002 - 280 с.

85. Тиори., Фрей. Проектирование структур баз данных. М: Мир, 1985. Том 1 287 е., том 2 - 320 с.

86. Тихомиров Ю.В. Microsoft SQL Server 7.0: разработка приложений СПб.: БХВ Санкт-Петербург, 1999.- 472 с.

87. Тихомиров Ю.В. Microsoft SQL Server 7.0. -СПб.: БХВ -Петербург, 2001,-720 с.

88. Толковый словарь по вычислительным системам. М.: Машиностроение, 1989.- 568 с.

89. Угрюмов Е.П. Цифровая схемотехника: Учеб. пособие для вузов. -СПб.: БХВ- Петербург, 2004 -800 с.

90. Уилсон Р.Дж. Введение в теорию графов. М.: Мир, 1977

91. Ульман Д. Основы систем баз данных. М.: Финансы и статистика, 1983. -334 с.

92. Уолкер Б.Дж., Блейк Я.Ф. Безопасность ЭВМ и организация их защиты.-М.: Связь, 1980.-112 с.

93. Юб.Ухлинов JI.M. Международные стандарты в области обеспечения безопасности данных в сетях ЭВМ.

94. Фомичев В.М. Дискретная математика и криптология. Курс лекций/ Под общ. ред. д-ра физ.-мат. н. Н.Д.Подуфалова. М.:ДИАЛОГ-МИФИ, 2003 -400 с.

95. Фомичев В.М. Информационная безопасность: Математические основы криптологии. М.: МИФИ, 1995.

96. Фридман А.Л. Основы объектно-ориентированной разработки программных систем. М.: Финансы и статистика, 2000. 321 с.

97. Фролов Г. Тайны тайнописи. М.: А/О «Безопасность» и «Инфорсервис Экспресс, Лтд», 1992.

98. Ш.Хаббард Д. Автоматизированное проектирование баз данных. М.: Мир, 1984.- 288 с.

99. Харрари Ф. Теория графов. М.: Наука, 1973.

100. Харин В.Н., Бойченко И.А., Сарайкин В.Г. Проектирование компонентов защиты данных в реляционной СУБД на основе CASE-технологий: Монография. М.: МГУЛ, 2002.- 137 с.

101. Ховард М., Лебланк Д. Защищенный код \ Пер. с англ. — 2-е изд., испр. — М.: Издательско-торговый дом «Русская Редакция», 2005. — 704 стр.

102. Холл М. Комбинаторика. М.: Мир, 1970. (гл. 5).

103. Хоффман Л.Дж. Современные методы защиты информации / Пер. с англ. -М: Сов. Радио, 1980.

104. Цаленко М.Ш. Моделирование семантики в базах данных. М.: Наука, 1989,- 288 с.

105. Цикритзис Д., Лоховски Ф. Модели данных. М.: Финансы и статистика 1985.- 344 с.

106. Чери С., Готлоб Г., Танка Л. Логическое программирование и базы данных. М.: Мир, 1992. 352 с.

107. Чертовский В.Д. Базы и банки данных: Учебное пособие. СПб: МГУП, 2001.200 с.

108. Шаймарданов Р.Б. Моделирование и автоматизация проектирования структур баз данных. М.: Радио и связь, 1984.- 120 с.

109. Шелест В. Программирование (учебное пособие). С-Петербург: БХВ-Петербург, 2002. -592 с.

110. Яблонский С.В. Введение в дискретную математику: учебное пособие для вузов/под ред. В.А. Садовничего, М.:2003 284 с.

111. Ященко В.В. Введение в криптографию / Под ред. В.В.Ященко. М.: МЦНМО — ЧеРо, 1988

112. MS SQL Server 2000разработка приложений СПб.: БХВ-Санкт-Петербург, 2002.

113. Microsoft SQL Server 2008 BHV - Справочное пособие, 2009. - 720 с