Синтез безопасных автоматов с функциональной деградацией

• Published in: Управляющие системы и машины
• Date: 2010
• Main Author: Малиновский, М.Л.
• Format: Article
• Language: Russian
• Published: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2010
• Subjects: Проблемы информационной безопасности
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/82798
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Синтез безопасных автоматов с функциональной деградацией / М.Л. Малиновский // Управляющие системы и машины. — 2010. — № 1. — С. 84-91. — Бібліогр.: 3 назв. — рос.

Разработаны абстрактные модели и выделены классы безопасных автоматов. Предложены табличные и графические методы задания таких автоматов и методы синтеза безопасных автоматов с функциональной деградацией, основанные на формировании множеств ответственных операций и построении, анализе и преобразовании χ-автоматов. The abstract models are developed and the classes of secure automatic machines are singled out. The tabular and graphic methods of specifying such machines and the methods of synthesis of such machines with functional degradation are suggested based on the formation of sets of crucial operations and the construction, analysis and transformation of χ-machines. Розроблено абстрактні моделі та виділено класи безпечних автоматів. Запропоновано табличні та графічні методи завдання таких автоматів, а також методи синтезу безпечних автоматів з функціональною деградацією, засновані на формуванні множин відповідальних операцій і побудові, аналізі та перетворенні χ-автоматів.