| |
Krasnozhon, O. Methodology for designing memory-safe high-performance applications using layered resource isolation [Текст] / O. Krasnozhon // Інформаційні технології та комп'ютерна інженерія. – 2025. – Т. 22, № 3. – P. 65-76. – DOI: https://doi.org/10.31649/vitce/3.2025.65.
Представлено стратегію проєктування - багаторівневу ізоляцію ресурсів, яка поєднує безпеку пам'яті з високою продуктивністю шляхом застосування трьох явних рівнів терміну служби та перевірок: ефемерний рівень для короткочасних тимчасових ресурсів, рівень, що перевіряється, захищений структурною та аліасинговою перевіркою в точках передачі та постійний рівень з аудитованою перевіркою. Метою було підвищити межі терміну служби елементів проєктування до першокласних, уникаючи при цьому специфічних фреймворків для постачальників. |