А.П. Киреев

Способ проверки корректности планировщика задач операционной системы реального времени с помощью сетей Петри

Title: 
Method for checking the correctness of the task scheduler of a real-time operating system using Petri nets
Год/Year: 
2024
Начальная страница/First page: 
132

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

Title: 
Means of verification of the information interaction protocol software on-board equipment of space vehicles
Год/Year: 
2022
Начальная страница/First page: 
104

Электронные библиотеки вузов и современное российское законодательство

Title: 
The electronic libraries of Universities and modern Russian legislation
Год/Year: 
2017
№: 
2
Начальная страница/First page: 
5
Краткое описание: 
В статье проведен анализ современного законодательства Российской Федерации в области создания и эксплуатации электронных библиотек вузов. Предлагается внести ряд изменений в законодательство Российской Федерации с целью упрощения создания и эксплуатации электронных библиотек вузов и повышения качества учебного процесса.
Short description: 
The article analyzes the current legislation of the Russian Federation in the field of creation and operation of electronic libraries of Universities. A number of changes in the legislation of the Russian Federation to facilitate the creation and maintenance of electronic libraries of Universities and improving the quality of the educational process are proposed in the article.

Методика оценивания защищенности ресурсов инфраструктуры единого пространства доверия электронной подписи

Title: 
The united space of digital signature trust: a valuation method of its information resources security
Год/Year: 
2016
Начальная страница/First page: 
144
Краткое описание: 
В статье описана методика оценки уровня защищенности ресурсов инфраструктуры единого пространства доверия электронной подписи (ЕПД-ЭП), предназначенная для обоснованного принятия решения по составу и характеристикам комплекса средств его защиты от случайных и преднамеренных угроз. В соответствии с методологией управления рисками идентифицированы основные активы инфраструктуры ЕПД-ЭП и определены актуальные для них угрозы безопасности. Предложены методы оценки безопасного функционирования ЕПД-ЭП в случае реализации соответствующих угроз.
Short description: 
In the article the valuation method of information security of infrastructure resources of united trust space of a digital signature is submitted. The method is intended for the reasonable decision-making about structure and performance attributes of security features from accidental and premeditated threats. This method is based on the risk assessment methodology. This method allows to evaluate the assets, threats and degree of information security. The valuation methods of safe functioning of trust united space of a digital signature, in case of implementation of the relevant threats are offered.

Методика проведения аудита информационной безопасности автоматизированных систем управления критически важных объектов

Title: 
The technique of carrying out audit of information security of automated control systems of critical infrastructure
Год/Year: 
2015
№: 
10
Начальная страница/First page: 
41
Краткое описание: 
Данная статья посвящена проблеме обеспечения аудита информационной безопасности и предлагает комплекс мероприятий, повышающий уровень защищенности систем управления критически важных объектов.
Short description: 
This article is devoted to the problem of ensuring information security audit and offers a range of activities that enhance the security of the control systems of critical infrastructure.
Subscribe to RSS - А.П. Киреев