TIFL − УНИВЕРСАЛЬНЫЙ ЯЗЫК ОПИСАНИЯ ИНФОРМАЦИОННЫХ ПОТОКОВ В ПРОГРАММНОМ ОБЕСПЕЧЕНИИ (600,00 руб.)

Первый автор	Тимаков
Страниц	7

ID	920230
Аннотация	В статье представлены грамматика и правила использования разработанного универсального языка описания информационных потоков в программном обеспечении TIFL ( Trivial Information Flow Language) . Язык составляет основу перспективного механизма контроля информационных потоков, который позволяет выявлять ошибки бизнес- логики в распределенных системах, включая государственные информационные системы, приводящие к нарушениям конфиденциальности и целостности обрабатываемых данных. Выражения языка могут использоваться разработчиками для аннотирования исходного кода программ, а также аналитиками для описания бизнес- сервисов на этапе проектирования автоматизированных информационных систем. Простота грамматики и семантики TIFL является его главным преимуществом, позволяющим достаточно лаконично и точно описывать потоки данных, которые возникают в процессе сложных вычислений. Совместно с известными системными механизмами управления доступом контроль информационных потоков на уровне отдельных приложений предоставляет новый уровень детализации при описании требований политики безопасности автоматизированных систем в защищенном исполнении

Тимаков, А.А. TIFL − УНИВЕРСАЛЬНЫЙ ЯЗЫК ОПИСАНИЯ ИНФОРМАЦИОННЫХ ПОТОКОВ В ПРОГРАММНОМ ОБЕСПЕЧЕНИИ / А.А. Тимаков // Автоматизация и информатизация ТЭК .— 2025 .— №2 .— С. 67-73 .— URL: https://rucont.ru/efd/920230 (дата обращения: 10.03.2025)