Ivan Kozhedub Kharkiv National Air Force University
Kharkiv national Air Force UniversityNot a member yet
12194 research outputs found
Sort by
Views on problematic issues of application of Air Force in air defense
No full textВ статті розглянуто проблемні питання, що виникли під час створення та реформування Збройних Сил України, які в значній мірі стосуються застосування Повітряних Сил у протиповітряній обороні. Розглядаються різні варіанти побудови системи управління Повітряними Силами при прикритті військ та об’єктів від ударів з повітря в операціях угруповання військ (сил). Визначені проблемні питання, які можуть виникати під час планування та проведення повітряної операції з відбиття повітряної наступальної операції противника, а також визначені шляхи їх вирішення.В статье рассмотрены проблемные вопросы, возникшие при создании и реформировании Вооруженных Сил Украины, которые в значительной степени касаются применения Воздушных Сил в противовоздушной обороне. Рассматриваются различные варианты построения системы управления Воздушными Силами при прикрытии войск и объектов от ударов с воздуха в операциях группировок войск (сил). Определены проблемные вопросы, которые могут возникать во время планирования и проведения воздушной операции по отражению воздушной наступательной операции противника, а также определены пути их решения.The article explores the problematic issues ensuing the establishment and reformation of the Armed Forces of Ukraine. It mainly concerns the critical aspects of the application of Air Force in air defense. It analyses various options to be considered for the best choice of an efficient Air Force control system for coordination of force groupings in the protection of ground troops (forces) and objects from enemy's air strikes. Drawing on the experience of modern armed conflicts, the article conducts an analysis of using a multinational air force grouping and determines alternative options for force application. It identifies potential critical issues that may arise during the planning and application of Air Force to rebuff the enemy’s offensive air operation as well as viable solutions to resolve these issues. The authors also consider alternative forms to apply Air Force based on U.S. and NATO operational air experience
Математическая модель «радиотехническое средство – система контроля» на аппарате сетей Петри
No full textThe mathematical model «radiotechnical facilities – control system» is proposed and studied in this article, which determined connection between auditor and serving for control systems. The analysis of exciting methods of the development mathematical models for monitoring the technical state of complex systems is carried out, and their chief shortcoming is determined - the dependence on two independent models. Appliance of Petri net model to the development result of arithmetic model «radiotechnical facilities – control system» is the analysis of these findings. Model structure «radiotechnical facilities – control system» is suggested and represented as a graphical chart of Petri net. Arithmetic model is developed on the base of this graphic chart. Arithmetic model is checked against limitedness, reliability, storageability and coverability. The validity results of represented model are displayed in the article.У статті запропонована та досліджена математична модель «радіотехнічний засіб – система контролю», яка визначає взаємозв'язок між засобом контролю та системою, що призначена для контролю. Проведено аналіз відомих методів розробки математичних моделей контролю технічного стану складних систем, визначено їх головний недолік - залежність від двох незалежних моделей. Результатом такого аналізу є пропозиція з розробки математичної моделі «радіотехнічне засіб – система контролю» із застосуванням апарату мереж Петрі. Запропоновано структуру моделі «радіотехнічний засіб – система контролю», яка представлена графом мережі Петрі. Розроблено математичну модель на основі запропонованого графа. Проведено аналіз математичної моделі на обмеженість, безпеку, збереженість і покриваємість. Показані результати перевірки запропонованої моделі на адекватність.В статье предложена и исследована математическая модель «радиотехническое средство – система контроля», которая определяет взаимосвязь между средством контроля и предназначенной для контроля системы. Проведен анализ известных методов разработки математических моделей контроля технического состояния сложных систем, определен их главный недостаток – зависимость от двух независимых моделей. Результатом такого анализа есть предложение по разработке математической модели «радиотехническое средство – система контроля» с применением аппарата сетей Петри. Предложена структура модели «радиотехническое средство – система контроля», представленная графом сети Петри. Разработана математическая модель на основе предложенного графа. Проведен анализ математической модели на ограниченность, безопасность, сохраняемость и покрываемость. Показаны результаты проверки предложенной модели на адекватность
Метод оценки параметров канала с использованием технологии МІМО-SEFDM
No full textIn this article was developed method of estimating the channel state with using of hybrid information technology, based on a combination of two modern efficient data transmission technologies, namely MIMO technology and SEFDM technology,. This combination allows to increase a significant in the efficiency of using of radio frequency resources and increase the speed of transmission of information. However, to assess the state of the communication channel with using of the specified information technology, it is necessary to develop a method of evaluating channel parameters, because known estimation methods have a high computational complexity. This article is dedicated to the solution of this issue. The article analyzes the basic methods of assessing the state of communication channels that were used to develop the indicated method of assessing the state of the channel using the technology MIMOSEFDM. In the article were used methods of the theory of signals, the theory of noise immunity coding, the theory of probability, the theory of information, the theory of potential impedance, the theory of matrices, the theory of decision making, the theory of games, the theory of automatic control, methods of mathematical programming and methods of simulation modeling. The method of estimating the status of the channel using the MIMO-SEFDM technology presented in the article allows to reduce the computational complexity, increase the noise immunity, and also increase the efficiency of using the radio frequency resource of perspective radio communication systems. The results obtained in the article can be used in the design and development of special purpose radio systems operating in a complex radio-electronic environment and the shortage of available radio frequency resources.В зазначеній статті проведено розробку методу оцінки стану каналу з використанням гібридної інформаційної технології, що заснована на поєднанні двох сучасних ефективних технологій передачі даних, а саме технології МІМО та технології SEFDM. Зазначене поєднання дозволяє отримати значне підвищення ефективності використання радіо-частотного ресурсу та збільшити швидкість передачі інформації. Проте для оцінки стану каналу зв’язку з використанням зазначеної інформаційної технології необхідно провести розробку методу оцінки параметрів каналу, оскільки відомі методи оцінки мають високу обчислювальну складність. Вирішенню зазначеного питанню присвячена зазначена стаття. В статті проведений аналіз основних методів оцінки стану каналів зв’язку, що були використанні для розробки зазначеного методу оцінки стану каналу з використанням технології МІМО-SEFDM. В статті застосовані методи теорії сигналів, теорії завадостійкого кодування, теорії імовірності, теорії інформації, теорії потенційної завадостійкості, теорії матриць , теорії прийняття рішень, теорії ігор, теорії автоматичного управління, методи математичного програмування та методи імітаційного моделювання. Представлений в статті метод оцінки стану каналу з використанням технології МІМО-SEFDM дозволяє зменшити обчислювальну складність, підвищити завадозахищеність, а також підвищити ефективність використання радіочастотного ресурсу перспективних систем радіозв’язку. Отримані в статті результати можуть бути використані під час розробки та проектування систем радіозв’язку спеціального призначення, що функціонують в складній радіоелектронній обстановці та дефіциті наявного радіочастотного ресурсу.В указанной статье проведена разработка метода оценки состояния канала с использованием гибридной информационной технологии, основанной на сочетании двух современных эффективных технологий передачи данных, а именно технологии MIMO и технологии SEFDM. Указанное сочетание позволяет получить значительное повышение эффективности использования радиочастотного ресурса и увеличить скорость передачи информации. Однако для оценки состояния канала связи с использованием указанной информационной технологии необходимо провести разработку метода оценки параметров канала, поскольку известные методы оценки имеют высокую вычислительную сложность. Ешению указанногР ния алов связи, которые были использованы для разработки данного метода оценки состояния канала с испол MIMO-SEF устойчивого кодироваDM. В статье применены методы теории сигналов, теории помехо теории информации, теории потенциальной помехоустойчивост тия решений, теории игр, теории автоматического управления, методы математического программирования и методы имитационного моделирования. Представленный в статье метод оценки состояния канала с использованием технологии MIMO-SEFDM позволяет уменьшить вычислительную сложность, увеличить помехозащищенность, а также увеличить эффективность использования радиочастотного ресурса перспективных систем радиосвязи. Полученные в статье результаты могут быть использованы при разработке и проектировании систем радиосвязи специального назначения, функционирующих в сложной радиоэлектронной обстановке и дефиците имеющегося радиочастотного ресурса
Методика выбора рациональных способов выполнения задач подразделениями бригадной тактической группы в стабилизационных действиях на основе теории игр
No full textAnti-terrorist operation in the east of Ukraine makes it necessary to improve the forms and methods of armed struggle. This is due to use against the units of the Armed Forces of Ukraine as regular military formations of the enemy, as well as formations with an atypical organizational-staff structure. Therefore, in the mentioned article, the development of a method for selecting rational ways of performing tasks by units of the brigade tactical group in the stabilization actions on the basis of the theory of games was conducted. In developing the methodology of rational methods for performing tasks by units of the brigade tactical group in the stabilization actions, the apparatus of the theory of games was adopted as the basis for it, also it is most suitable for describing conflict situations. At the same time, the essence of the methodology is to take into account, when forming the optimal strategy of using units of the brigade tactical group, one-to-one awareness and the ability to predict the actions of the enemy. To predict the actions of the enemy during the stabilization actions, the method of dynamic forecasting is used, which allows to carry out both short-term and short-term forecasting. This methodology is unified and universal, it allows to make calculations for a separate unit of the brigade tactical group and for calculations of the brigade tactical group as a whole during the stabilization actions. This method allows to increase the efficiency of using of units of the brigade tactical group.Проведення антитерористичної операції на Сході України обумовлює необхідність удосконалення форм та способів збройної боротьби. Це обумовлене застосуванням проти підрозділів Збройних Сил України як регулярних військових формувань противника, а також формувань з нетиповою організаційно-штатною структурою. Тому в зазначеній статті проведено розробку методики вибору раціональних способів виконання завдань підрозділами бригадної тактичної групи у стабілізаційних діях на основі теорії ігор. При розробці методики раціональних способів виконання завдань підрозділами бригадної тактичної групи у стабілізаційних діях був взятий за основу апарат теорії ігор, тому що він найбільш підходить для опису конфліктних ситуацій. При цьому суть методики полягає в урахуванні при формуванні оптимальної стратегії застосування підрозділами бригадної тактичної групи інформованості сторін одна про одну та можливості проводити прогнозування дій противника. Для прогнозування дій противника під час проведення стабілізаційних дій використаний метод динамічного прогнозування, що дозволяє здійснювати як короткострокове так і довгострокове прогнозування. Зазначена методика є уніфікованою та універсальною, вона дозволяє проводити розрахунки для окремого підрозділу бригадної тактичної групи так і для розрахунків бригадної тактичної групи в цілому під час стабілізаційних дій. Зазначена методика дозволяє підвищити ефективність застосування підрозділів бригадної тактичної групи.Проведение антитеррористической операции на Востоке Украины обусловливает необходимость усовершенствования форм и способов вооруженной борьбы. Это обусловлено применением против подразделений Вооруженных Сил Украины как регулярных воинских формирований противника, а также формирований с нетипичной организационноштатной структурой. Поэтому в указанной статье проведена разработка методики выбора рациональных способов выполнения задач подразделениями бригадной тактической группы в стабилизационных действиях на основе теории игр. При разработке методики рациональных способов выполнения задач подразделениями бригадной тактической группы в стабилизационных действиях был взят за основу аппарат теории игр, потому что он наиболее подходит для описания конфликтных ситуаций. При этом суть методики состоит в учёте при формировании оптимальной стратегии применения подразделениями бригадной тактической группы информированности сторон одна об одной и возможностях проводить прогнозирование действий противника. Для прогнозирования действий противника во время проведения стабилизационных действий использованный метод динамического прогнозирования, который позволяет осуществлять как краткосрочное так и долгосрочное прогнозирование. Указанная методика является унифицированной и универсальной, она позволяет проводить расчеты для отдельного подразделения бригадной тактической группы так и для расчетов бригадной тактической группы в целом во время стабилизационных действий. Указанная методика позволяет повысить эффективность применения подразделений бригадной тактической группы
Method of intellectual identification and prediction of traffic in information telecommunication networks
No full textЗапропоновано методику інтелектуальної ідентифікації та прогнозування трафіку в інформаційних телекомунікаційних мережах, яка складається з визначення розмірностей моделей трафіку, а також його ідентифікації та прогнозування з використанням систем штучного інтелекту, обґрунтування структури моделей та композиції методів глобальної і локальної оптимізації. Шляхом моделювання оцінено ефективність використання запропонованої методики на прикладі ідентифікації та прогнозування експериментальних даних – трафіку, що передається через мережу Інтернет.Предложена методика интеллектуальной идентификации и прогнозирования трафика в информационных телекоммуникационных сетях, которая состоит из определения размерностей моделей трафика, а также его идентификации и прогнозирования с использованием систем искусственного интеллекта, обоснования структур моделей и композиции методов глобальной и локальной оптимизации. Путем моделирования оценена эффективность использования предложенной методики на примере идентификации и прогнозирования экспериментальных данных – трафика, передаваемого через сеть Интернет.The method of intellectual identification and prediction of traffic in information telecommunication networks is proposed. It consists of the definition of dimensions of traffic models, its identification and prediction using artificial intelligence systems, choice of block-oriented structures of models and the composition of global and local optimization methods. Determination of dimensions of models is done by calculation of correlation entropy, correlation interval of predictability, correlation dimension of the attractor, the dimension of attachment to the attractor. For global optimization methods applied genetic algorithms, multiobjective optimization, direct search, simulated annealing and threshold acceptance. Models of Wiener, Hammerstein, and their compositions are used as block-oriented models. As the basis functions are used cascaded feedforward neural network, neural network with radial basis functions and hybrid network with fuzzy logic. For parametric optimization was used the criterion of regularity, calculated on the test sample, and for the global –the criterion of minimum bias, based on the analysis of solutions. By modeling, the efficiency of using the proposed method is estimated using the example of identification and prediction of experimental data - traffic transmitted via the Internet
Basic directions of creation of systems of power radio electronic fight for defeat of raznotipnykh radio electronic facilities
No full textРозглянуто стан розвитку систем силової радіоелектронної боротьби з наведенням основних механізмів впливу та значень енергії потужного електромагнітного випромінювання для ураження елементної бази різнотипних радіоелектронних засобів. На основі аналізу стану існуючих розробок електромагнітної зброї сформульовано загальну схему її класифікації та виявлено динаміку розвитку зазначеної зброї. Показано найбільш пріоритетні напрями досліджень в області розробки потужних електромагнітних випромінювачів на найближчі роки.Рассмотрено состояние развития систем силовой радиоэлектронной борьбы. Приведены основные механизмы влияния и значения энергий мощного электромагнитного излучения для поражения элементной базы разнотипных радиоэлектронных средств. На основе анализа состояния существующих разработок электромагнитного оружия сформулирована общая схема ее классификации и обнаружена динамика развития такого оружия. Показано наиболее приоритетные направления исследований в области разработки мощных электромагнитных излучателей на ближайшие годы.The article considers the state of development of power electronic warfare systems. The main mechanism for the destruction of various types the elemental base of radio-electronic means is influence the energy of powerful electromagnetic radiation and the value. Based on the analysis of the state of electromagnetic weapons existing developments, a general scheme for its classification has been formulated and the dynamics of the development of such weapons have been revealed. Various modern sources of powerful microwave radiation of directed action for power electronic combat systems are considered. The dynamics of the development of these systems abroad in recent years is considered. The analysis of improvement of their constructive, dimension and radiating features, as well as methods for controlling the radiation parameters, is carried out. The method of combat employment of power electronic combat systems is analyzed. The advantages and disadvantages of various sources of powerful microwave radiation of directional action for the destruction of radioelectronic facilities are shown. The research directions of the mechanisms of destruction of weapons and military equipment by a powerful electromagnetic pulse with an energy level that is lower than necessary for the destruction of radioelements are considered.The most priority directions of researches in the field of development of powerful electromagnetic radiators for the nearest years are shown
Experimental investigation of the process of ventilation of reservoirs with oil properties at different ways of substance of air
No full textНа підставі теоретичного й експериментального дослідження підтверджені закономірності процесу вентиляції резервуара із залишками світлих нафтопродуктів. Обґрунтована методика моделювання процесів вентиляції резервуарів із залишками однокомпонентних і багатокомпонентних рідин, а також процесів дегазації. При моделюванні процесів вентиляції резервуарів із залишками однокомпонентних і багатокомпонентних рідин припустиме використання однакових методик.На основании теоретического и экспериментального исследования подтверждены закономерности процесса вентиляции резервуара с остатками светлых нефтепродуктов. Обоснованная методика моделирования процессов вентиляции резервуаров с остатками однокомпонентных и многокомпонентных жидкостей, а также процессов дегазации. При моделировании процессов вентиляции резервуаров с остатками однокомпонентных и многокомпонентных жидкостей допустимо использование одинаковых методик.The object of the study is the methods of modeling the processes of ventilation of the above-ground vertical steel reservoir. The tank is used to store light petroleum products (gasoline, diesel fuel, kerosene). One of the most problematic places in this operation is the extremely high level of explosion and fire hazard, and therefore, a significant danger to the life and health of people in the zone of influence of the revivers. During the forced ventilation of the reservoir (VST-5000 1,5 tons), a couple of petroleum products fall into the atmosphere. To minimize this disadvantage, the application of the technology of absorptioncondensation recovery of petroleum vapor, whose efficiency reaches 99%, is proposed in this document. The use of the ejector air supply during forced ventilation of tanks with the subsequent capture of oil vapor through the absorption and condensation means provides for the prevention of such a risk. The maintenance of petroleum products is subject to further use, which provides additional income. On the basis of theoretical and experimental research confirmed the regularities of the process of ventilation of the tank with residual light petroleum products. The method of modeling the processes of ventilation of tanks with residues of one-component and multi-component liquids, as well as degassing processes, is substantiated. In the simulation of the processes of ventilation of tanks with residues of single-component and multi-component liquids it is possible to use the same methods. Thus, the proposed method allows not only to reduce the technogenic load on the environment, but also has an economic effect
Features of calculation of radio channels of command radio lines of cruise missiles
No full textВ статті розглядаються питання функціонування радіоканалу командної радіолінії крилатих ракет оперативно-тактичної дальності. Показано, що основними обмежуючими чинниками при організації радіоканалу на середні та великі дальності в УКХ діапазоні є необхідність забезпечення дальності радіовидимості та бюджет радіоканалу. Основними чинниками, що впливають на бюджет радіоканалу, є сталі: направлені властивості антен, потужність передавача та чутливість приймача, а також змінна характеристика, яка пов’язана з оцінкою загасання сигналу при розповсюдженні по радіотрасі. Проведено порівняльний аналіз двох моделей оцінки загасання сигналу: стаціонарної (статистичної) моделі та статистичної моделі прогнозування основних втрат передачі.В статье рассматриваются вопросы функционирования радиоканала командной радиолинии крылатых ракет оперативно-тактической дальности. Показано, что основными ограничивающими факторами при организации радиоканала на средние и большие дальности в УКВ диапазоне является необходимость обеспечения дальности радиовидимости и бюджет радиоканала. Основными факторами, влияющими на бюджет радиоканала, являются постоянные: направленные свойства антенн, мощность передатчика и чувствительность приемника, а также переменная характеристика, связанная с оценкой затухания сигнала при распространении по радиотрассе. Проведен сравнительный анализ двух моделей оценки затухания сигнала: стационарной (статистической) модели и статистической модели прогнозирования основных потерь передачи.One of the main methods of targeting operational-tactical missiles is the method of command control, which is based on the use of the command radio link. The operation of the command radio link is largely determined by the possibility of the radio channel functioning, the main task of which is to ensure the transmission of information to the required range of the cruise missile with the required quality, namely, the necessary signal-to-noise ratio at the receiver input. The article deals with the functioning of the radio link of the command radio link of cruise missiles of operational-tactical range. It is shown that the main limiting factors in the organization of a medium-long and long-range radio channel in the VHF band are the need to provide the range of radio visibility and the budget of the radio channel. The main factors affecting the budget for the radio channel are: the directional properties of the antennas, the transmitter power and receiver sensitivity, as well as the variable characteristic associated with the estimation of the signal attenuation during propagation along the radio path. A comparative analysis of two models of signal attenuation estimation is carried out: a stationary (statistical) model and a statistical model for predicting the main transmission losses. The considered approach to the calculation of the radio channel budget of the command radio link can be used in the design of command radio lines for cruise missiles, both airborne and ground-based
The approach to the creation of block scheduling keys for block symmetric cryptographic algorithm GOST 28147-89
No full textРассмотрены подходы к построению процедур расписания ключей блочных симметричных криптоалгоритмов. В рамках одного из них предлагается подход к формированию расписания ключей для криптоалгоритма ГОСТ 28147-8 в целях повышения его криптостойкости. Предложенный подход является модификацией ранее разработанного подхода к формированию расписания ключей криптоалгоритма ГОСТ 28147-8 на основе идеи зависимости выбора ключа раунда от текущего значения преобразуемого блока данных.Розглянуто підходи до побудови процедур розкладу ключів блокових симетричних криптоалгоритмів. В рамках одного з них пропонується підхід до формування розкладу ключів для криптоалгоритму ГОСТ 28147-8 з метою підвищення його криптостійкості. Запропонований підхід є модифікацією раніше розробленого підходу до формування розкладу ключів криптоалгоритму ГОСТ 28147-8 на основі ідеї залежності вибору ключа раунду від поточного значення блоку даних, що перетворюється.Approaches to the construction of scheduling procedures for keys of block symmetric crypto algorithms are considered. In the framework of one of them, an approach is proposed to the generation of a key schedule for the cryptographic algorithm GOST 28147-8 in order to increase its cryptographic strength. The proposed approach is a modification of the previously developed approach to the generation of the schedule of cryptographic algorithm keys GOST 28147-8 on the basis of the idea of the dependence of the choice of the key of the round on the current value of the data block being converted
Security assessment of programmable logic-based systems using cases: taxonomy, notation, concept
No full textРобота присвячена аспектам оцінювання безпеки інформаційно-керуючих систем, які використовують програмовну логіку як об’єкт реалізацій основних функцій. Для виявлення всіх розбіжностей в процесах оцінювання та забезпечення безпеки розглянуто процесно-продуктну модель оцінювання безпеки. Наведено порівняння існуючих кейсів безпеки. Запропонована модифікована таксономія оцінювання безпеки систем на програмовній логіці. Вона заснована на термінології, прийнятої в області функціональної та інформаційної безпеки, а також оцінювання з використанням кейсів. Модифікацію нотації здійснено в аспекті розробці алгоритмізації процесу прийняття рішень щодо запевнення безпеки, що дозволяє зменшити невизначеність оцінки. Представлено результати розробки концепції оцінювання інформаційної безпеки систем на програмовній логіці з використанням покращених кейсів запевнення інформаційної безпеки. Вона включає в себе нотацію, кейс-модель (покращений кейс запевнення інформаційної безпеки), яка заснована на представленій нотації, та кейс-технологію, в якості якої подається набір інструментів, послідовність дій і результат, представлений в формалізованому та доказовому вигляді.Работа посвящена аспектам оценки безопасности информационно-управляющих систем, которые используют программируемую логику как объект реализаций основных функций. Для выявления всех разногласий в процессах оценки и обеспечения безопасности рассмотрена процессно-продуктная модель оценки безопасности. Приведено сравнение существующих кейсов безопасности. Предложена модифицированная таксономия оценки безопасности систем на программируемой логике. Она основана на терминологии, принятой в области функциональной и информационной безопасности, а также оценки с использованием кейсов. Модификацию нотации осуществлено в аспекте разработки алгоритмизации процесса принятия решений по заверения безопасности, что позволяет уменьшить неопределенность оценки. Представлены результаты разработки концепции оценки информационной безопасности систем на программируемой логике с использованием улучшенных кейсов заверения информационной безопасности. Она включает в себя нотацию, кейс-модель (улучшенный кейс заверения информационной безопасности), которая основана на представленной нотации, и кейс-технологии, в качестве которой подается набор инструментов, последовательность действий и результат, представленный в формализованном и доказательном виде.The paper is devoted to the aspects of assessing the security of information and control systems, which use programmable logic as an object of implementation of the main functions. A process-product model of safety assessment is considered to identify all discrepancies in the processes of assessment and provision of information security. Comparison of existing types of cases for justification of correctness and implemented requirements and / or claims is given. A modified notation of programmable logicbased information and control systems security assessment is proposed. It is based on the terminology accepted in the field of both functional safety and informational security, as well as assessment with the use of advanced security assurance cases. The proposed notation also contains features of the combined life cycle of the development of safe and secure information and control systems based on the programming logic. The peculiarities of assessing the security of such systems, taking into account the features of programmable logic are considered. The modified notation is also characterized by the combination of the gap analysis of the process of security assessment together with intrusions modes, effects and criticality analysis. Taxonomy modification was carried out in the aspect of developing the algorithmization of the decision-making process for security assurance, which makes it possible to reduce the uncertainty of the assessment. The results of the development of the concept of information security assessment of systems on programmable logic with the use of advanced security assurance cases are presented. It includes notation, case-model (improved information security assurance case), which is based on the presented notation, and case-technology as which is given a set of tools, a sequence of actions and a result presented in a formalized and evident form