004
К28	Касеко, І. В.     Формалізація вимог гарантій безпеки (відповідно до стандарту ISO/ІEC 15408) на основі CASE-підходу [Текст] : пояснюв. зап. до диплом. проекту (роботи) магістра : 8.05010201 - комп'ютер. системи та мережі : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т радіотехн. систем літ. апаратів, Каф. комп'ютер. систем та мереж (№ 503) ; кер. Потій О. В. — Харків, 2016. — 114 с. + додатки.