СЪДЪРЖАНИЕ
- Р. Владова, E. Кирилова, Н. Ваклиева-Банчева. Метод за подобряване на несигурностите и повишаване на устойчивостта чрез топлинна интеграция на потоците в периодични производствени системи
- M. Хаджийски, Н. Делийски. Интелигентно управление на процеса на топлинно обработване на дървесина при променливи производствени разписания. Част 2. Интелигентно управление на операционния мениджмънт
- И. Петров. Йерархия на структурата на енергийните баланси
- Л. Боянов. Предаване на данни от интернет на обектите – подходи и протоколи
- П. Петров, Г. Костадинов, П. Живков, В. Величкова, Н. Керемедчиева. G Code векторизация след редукция на цветовете за изрисуване с плотер
- А. Попов, С. Лекова. Система за следене и анализ на данни от околната среда (част 2)
- информатика
Й. Белев, Ц. Иванова и И. Бачкова. Формална верификация на киберсигурността на OPC-UA приложения - Ц. Василев. 22-а международна конференция „Компютърни системи и технологии“ CompSysTech’21
- Инж. Иван Тенев
- Ст.н.с. д-р инж. Кузман Йонов
Кеу Words: Cybersecurity; OPC-UA applications; security; formal verification; information modeling; timed automata models; temporal logic.
Abstract. Cybersecurity protect the confidentiality, integrity and availability of computing devices and networks, hardware and software, and most importantly, data and information. The main aim of the paper is to analyze the capabilities and to propose an approach for increasing the security of OPC-UA applications based on the use of formal verification, and its integration into the development lifecycle model and information modeling capabilities provided by OPC-UA. The formal verification is based on using model checking based on timed automata models of the system and cybersecurity properties, defined by using temporal logic.
