Реалізація засад захищеного програмування у рамках алгебраїчного апарату

Акуловський, В. Г.; Костенко, В. В.; Поліщук, В. В.

dc.contributor.author	Акуловський, В. Г.
dc.contributor.author	Костенко, В. В.
dc.contributor.author	Поліщук, В. В.
dc.date.accessioned	2016-11-01T11:14:50Z
dc.date.available	2016-11-01T11:14:50Z
dc.date.issued	2016-11-01
dc.identifier.citation	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.	uk_UA
dc.identifier.issn	2310-9645
dc.identifier.uri	http://hdl.handle.net/123456789/1461
dc.description.abstract	Для подолання недостатньої надійності програмного забезпечення розв’язується задача реалізації засобів захищеного програмування. Застосовується спеціальний алгебраїчний апарат (алгебра алгоритмів з даними). У рамках алгебри алгоритмів з даними використано тризначні, k-значні логічні умови, які фіксують, і похідні алгоритмічні конструкції на їх основі для реалізації концепції захищеного програмування. Зокрема, введено обмеження на використання алгоритмічних конструкцій, що перевіряються на етапі розробки алгоритмів, засоби контролю оброблюваних даних і послідовності їх обробки на етапі виконання програми.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Університет митної справи та фінансів	uk_UA
dc.relation.ispartofseries	Системи та технології;2015/2
dc.subject	алгебра алгоритмів	uk_UA
dc.subject	захищене програмування	uk_UA
dc.subject	Д-оператори	uk_UA
dc.subject	k-значні логічні умови	uk_UA
dc.subject	алгоритмічні конструкції	uk_UA
dc.subject	логічні умови	uk_UA
dc.subject	що фіксують	uk_UA
dc.subject	algebraic tools	uk_UA
dc.subject	secure programming tools	uk_UA
dc.subject	D-operators	uk_UA
dc.subject	k-valued logic conditions	uk_UA
dc.subject	three-valued logic conditions	uk_UA
dc.subject	fixing logic conditions	uk_UA
dc.title	Реалізація засад захищеного програмування у рамках алгебраїчного апарату	uk_UA
dc.title.alternative	Implementation the foundations of a secure programming in the framework of the algebraic apparatus	uk_UA
dc.type	Article	uk_UA