1. Університет митної справи та фінансів
  2. Періодичні видання УМСФ
  3. Вісник Академії митної служби України
  4. Системи та технології
  5. 2015/2
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://biblio.umsf.dp.ua/jspui/handle/123456789/1461
Назва: Реалізація засад захищеного програмування у рамках алгебраїчного апарату
Інші назви: Implementation the foundations of a secure programming in the framework of the algebraic apparatus
Автори: Акуловський, В. Г.
Костенко, В. В.
Поліщук, В. В.
Ключові слова: алгебра алгоритмів
захищене програмування
Д-оператори
k-значні логічні умови
алгоритмічні конструкції
логічні умови
що фіксують
algebraic tools
secure programming tools
D-operators
k-valued logic conditions
three-valued logic conditions
fixing logic conditions
Дата публікації: 1-лис-2016
Видавництво: Університет митної справи та фінансів
Бібліографічний опис: 1. Брукс Ф. П. Как проектируются и создаются программные комплексы / Брукс Ф. П. ; пер. с англ. – М. : Наука, 1979. – 150 с. 2. Дейкстра Э. Смиренный программист / Э. Дейкстра ; пер. с англ. // Лекции лауреатов премии Тьюринга за первые двадцать лет. 1966–1985. – М. : Мир, 1993. – 120 с. 3. Йордон Э. Путь камикадзе. Как разработчику программного обеспечения выжить в безнадежном проекте / Йордон Э. ; пер. с англ. – М. : Лори, 2000. – 272 с. 4. Глушков В. М. Перспективы автоматизации проектирования вычислительных машин / В. М. Глушков // Вестн. АН УССР. – 1967. – № 4. – С. 22–36. 5. Глушков В. М. Алгебра. Языки. Программирование / В. М. Глушков, Г. E. Цейтлин, Е. Л. Ющенко. – 3-е изд., перераб. и доп. – К. : Наукова думка, 1989. – 376 с. 6. Акуловский В. Г. Алгебра алгоритмов, базирующаяся на данных / В. Г. Акуловский // Кибернетика и системный анализ. – 2012. – № 2. – С. 151–166. 7. Акуловский В. Г. Основы алгебры алгоритмов, базирующейся на данных / В. Г. Акуловский // Проблемы программирования : спец. выпуск по материалам седьмой Международной научно-практической конференции по программированию УкрПРОГ`2010. – 2010.  № 23.  С. 8996. 8. Акуловский В. Г. Основы алгебраического аппарата для описания алгоритмов с данными / В. Г. Акуловский // Математическое и программное обеспечение систем в промышленной и социальной сферах : междунар. сб. науч. трудов. – Магнитогорск : Изд-во Магнитогорск. гос. техн. ун-та им. Носова. – 2011. – Ч. 1. – С. 9–14. 9. Макконнелл С. Совершенный код. Мастер-класс / Макконнелл С. – М. : Издательско-торговый дом “Русская Редакция”; СПб. : Питер, 2005. – 896 с. 10. Поспелов Д. А. Логические методы анализа и синтеза схем : 3-е изд., перераб. и доп. / Поспелов Д. А. – М. : Энергия, 1974. – 368 с. 11. Акуловський В. Г. Тризначна логіка в алгебрі алгоритмів / В. Г. Акуловський, В. В. Костенко // Вісник Академії митної служби України. – 2007.  № 1.  C. 8388. 12. Акуловский В. Г. K-значная логика в расширенной алгебре алгоритмов / В. Г. Акуловский // Проблемы программирования : спец. выпуск по материалам шестой Международной научно-практической конференции по программированию УкрПРОГ` 2008. – 2008.  № 23.  С. 5056.
Серія/номер: Системи та технології;2015/2
Короткий огляд (реферат): Для подолання недостатньої надійності програмного забезпечення розв’язується задача реалізації засобів захищеного програмування. Застосовується спеціальний алгебраїчний апарат (алгебра алгоритмів з даними). У рамках алгебри алгоритмів з даними використано тризначні, k-значні логічні умови, які фіксують, і похідні алгоритмічні конструкції на їх основі для реалізації концепції захищеного програмування. Зокрема, введено обмеження на використання алгоритмічних конструкцій, що перевіряються на етапі розробки алгоритмів, засоби контролю оброблюваних даних і послідовності їх обробки на етапі виконання програми.
URI (Уніфікований ідентифікатор ресурсу): http://hdl.handle.net/123456789/1461
ISSN: 2310-9645
Розташовується у зібраннях:2015/2

Файли цього матеріалу:
Файл Опис РозмірФормат 
7.pdfЕлектронне видання411,16 kBAdobe PDFПереглянути/Відкрити
Показати повний опис матеріалу Перегляд статистики


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.