RU179302U1 - DEVICE OF DYNAMIC CONTROL OF PERFORMANCE OF SPECIAL COMPUTATIONS - Google Patents
DEVICE OF DYNAMIC CONTROL OF PERFORMANCE OF SPECIAL COMPUTATIONS Download PDFInfo
- Publication number
- RU179302U1 RU179302U1 RU2017140535U RU2017140535U RU179302U1 RU 179302 U1 RU179302 U1 RU 179302U1 RU 2017140535 U RU2017140535 U RU 2017140535U RU 2017140535 U RU2017140535 U RU 2017140535U RU 179302 U1 RU179302 U1 RU 179302U1
- Authority
- RU
- Russia
- Prior art keywords
- control
- calculations
- stage
- invariants
- relations
- Prior art date
Links
- 238000000034 method Methods 0.000 claims abstract description 34
- 230000008569 process Effects 0.000 claims abstract description 27
- 238000004364 calculation method Methods 0.000 claims abstract description 23
- 238000012545 processing Methods 0.000 claims abstract description 8
- 238000012795 verification Methods 0.000 claims abstract description 5
- 239000011159 matrix material Substances 0.000 claims description 4
- 238000012986 modification Methods 0.000 abstract description 5
- 230000004048 modification Effects 0.000 abstract description 5
- 230000009466 transformation Effects 0.000 abstract description 4
- 238000000844 transformation Methods 0.000 abstract description 3
- 230000009257 reactivity Effects 0.000 abstract 1
- 230000014509 gene expression Effects 0.000 description 6
- 230000015572 biosynthetic process Effects 0.000 description 3
- 238000006243 chemical reaction Methods 0.000 description 3
- 238000012546 transfer Methods 0.000 description 3
- 238000010276 construction Methods 0.000 description 2
- 238000001514 detection method Methods 0.000 description 2
- 238000013507 mapping Methods 0.000 description 2
- 230000007246 mechanism Effects 0.000 description 2
- 230000003068 static effect Effects 0.000 description 2
- 238000009825 accumulation Methods 0.000 description 1
- 239000000654 additive Substances 0.000 description 1
- 230000000996 additive effect Effects 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000006073 displacement reaction Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 230000008676 import Effects 0.000 description 1
- 238000004379 similarity theory Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N7/00—Computing arrangements based on specific mathematical models
- G06N7/02—Computing arrangements based on specific mathematical models using fuzzy logic
- G06N7/04—Physical realisation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N7/00—Computing arrangements based on specific mathematical models
- G06N7/02—Computing arrangements based on specific mathematical models using fuzzy logic
- G06N7/06—Simulation on general purpose computers
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Physics & Mathematics (AREA)
- Computational Mathematics (AREA)
- Evolutionary Computation (AREA)
- Molecular Biology (AREA)
- Fuzzy Systems (AREA)
- Biomedical Technology (AREA)
- Algebra (AREA)
- Artificial Intelligence (AREA)
- Health & Medical Sciences (AREA)
- Data Mining & Analysis (AREA)
- General Health & Medical Sciences (AREA)
- Automation & Control Theory (AREA)
- Mathematical Analysis (AREA)
- Mathematical Optimization (AREA)
- Pure & Applied Mathematics (AREA)
- Computing Systems (AREA)
- General Engineering & Computer Science (AREA)
- Mathematical Physics (AREA)
- Life Sciences & Earth Sciences (AREA)
- Stored Programmes (AREA)
Abstract
Полезная модель относится к устройствам динамической верификации вычислительных процессов, в частности к сопроцессорам, выполняющих узкоспециализированные преобразования вычислений. Устройство может быть использовано в системах сбора и обработки информации при организации специальных расчетов в вычислительных комплексах специального назначения. Целью данного устройства является контроль выполнения арифметических операций и контроль целостности вычислений в целом. Поставленная цель достигается тем, что в устройстве организован семантический контроль, заключающийся в анализе абстрактных размерностей обрабатываемых переменных.Сущность полезной модели состоит в обеспечении распараллеливания задач контроля и управления вычислительным процессом, выполняемого центральным процессором (математическим сопроцессором). Устройство и процессор обмениваются информацией по каналам последовательного интерфейса. Схема работы устройства содержит следующие этапы. Этап формирования инвариантов подобия выполняется блоками анализа машинных инструкций и обработки данных, этап формирования базы данных инвариантов подобия выполняется блоками построения определяющих соотношений в терминах размерностей и решения полученной системы соотношений, этап проверки критерия семантической корректности вычислительных процессов выполняется блоком анализа и сравнения полученных инвариантов с паспортом программы. В случае обнаружения несовпадения на этапе проверки критерия семантической корректности формируется сигнал о возможном информационно-техническом воздействии на вычислительный процесс.Технический результат заключается в том, что устройство позволяет представить вычислительный процесс в виде соответствующей системы уравнений размерностей, решение системы позволяет исследовать семантику вычислений, производимых процессором (математическим сопроцессором), сравнение полученных результатов с эталонными позволяет сделать вывод о корректности выполняемого вычислительного процесса или о скрытных модификациях арифметических операций, тем самым обеспечивая выполнение динамического контроля над производимыми вычислениями. 3 ил., 1 табл.The utility model relates to devices for dynamic verification of computational processes, in particular, to coprocessors performing highly specialized transformations of computations. The device can be used in systems for collecting and processing information when organizing special calculations in special-purpose computer complexes. The purpose of this device is to control the execution of arithmetic operations and control the integrity of the calculations as a whole. This goal is achieved by the fact that the device organized semantic control, which consists in analyzing the abstract dimensions of the processed variables. The essence of the utility model is to ensure parallelization of control tasks and control of the computing process performed by the central processor (mathematical coprocessor). The device and the processor exchange information through the channels of the serial interface. The scheme of the device contains the following steps. The stage of generating similarity invariants is performed by blocks of analysis of machine instructions and data processing, the stage of forming a database of similarity invariants is performed by blocks of constructing defining relations in terms of dimensions and solving the resulting system of relations, the stage of checking the criterion of semantic correctness of computational processes is performed by a block of analysis and comparison of the obtained invariants with the program passport . In case of mismatch at the stage of checking the criterion of semantic correctness, a signal is generated about a possible information and technical impact on the computing process. The technical result is that the device allows you to represent the computing process in the form of an appropriate system of dimensional equations, the solution of the system allows you to study the semantics of the calculations performed by the processor (mathematical coprocessor), a comparison of the results with the reference allows us to conclude Reactivity of the computational process or secretive modifications of arithmetic operations, thereby ensuring the implementation of dynamic control over the calculations. 3 ill., 1 tab.
Description
Полезная модель относится к устройствам динамического контроля и верификации вычислительных процессов специальных расчетных задач, в частности к сопроцессорам, выполняющих узкоспециализированные преобразования вычислений. Устройство может быть реализовано на существующей элементной базе и использовано в системах сбора и обработки информации при организации расчетов для контроля их выполнения в вычислительных комплексах специального назначения.The utility model relates to devices for dynamic control and verification of computational processes of special computational problems, in particular to coprocessors that perform highly specialized transformations of computations. The device can be implemented on the existing element base and used in information collection and processing systems when organizing calculations to control their implementation in special-purpose computing complexes.
Для вычислительных комплексов, выполняющих программы специальных расчетных задач, важно контролировать целостность производимых вычислений, так как незначительная модификация одного оператора может привести к накоплению ошибки, вследствие чего будут получены неверные результаты расчетов. Данные результаты могут находиться в конкретном доверительном интервале, поэтому ошибку без дополнительных средств контроля обнаружить невозможно.For computer systems that run programs of special calculation tasks, it is important to control the integrity of the calculations, since a slight modification of one operator can lead to the accumulation of errors, resulting in incorrect calculation results. These results can be in a specific confidence interval, so it is impossible to detect an error without additional means of control.
Выделение инвариантных признаков классификации вычислительных процессов (в данной задаче - на два класса: корректное и некорректное выполнение) тождественно вопросу об изоморфности двух систем относительно некоторого отображения. Для выяснения необходимых и достаточных условий изоморфности систем, а также определения качественных и количественных параметров отображения изоморфизма был разработан математический аппарат теории подобия.The identification of invariant signs of the classification of computational processes (in this problem, into two classes: correct and incorrect execution) is identical to the question of the isomorphism of two systems with respect to some mapping. To clarify the necessary and sufficient conditions for the isomorphism of systems, as well as to determine the qualitative and quantitative parameters of the mapping of isomorphism, a mathematical apparatus of the theory of similarity was developed.
Основные положения теории подобия были сформулированы Седовым Л.И., Вениковым В.А., Гухманом А.А. [1-3]. Первоначально положения теории разрабатывались применительно к моделированию механических, электрических процессов и процессов теплообмена. Однако в конце 1980-х годов полученные результаты были применены в области моделирования с использованием универсальных цифровых ЭВМ, а затем перенесены для решения гораздо более широкого спектра задач, в том числе защиты информации.The main provisions of the theory of similarity were formulated by Sedov L.I., Venikov V.A., Gukhman A.A. [1-3]. Initially, the theory was developed in relation to the modeling of mechanical, electrical processes and heat transfer processes. However, in the late 1980s, the results were applied in the field of modeling using universal digital computers, and then transferred to solve a much wider range of tasks, including information security.
Известно, что теория подобия для контроля правильности текстов программ была применена учеными В.В. Ковалевым [4], В.А. Романюк, С.А. Петренко [5] в исследованиях статических методов верификации. Однако современные методы верификации и контроля не распространяются на этап выполнения программ, когда естественные ошибки и уязвимости, а также преднамеренные закладки проявляются через используемые данные и ресурсы. Это позволило сделать вывод об актуальности разработки новой модели устройства динамического контроля выполнения вычислений для выполнения требований своевременности обнаружения скрытных информационно-технических воздействий на вычислительные комплексы специального назначения.It is known that the theory of similarity to control the correctness of the texts of programs was applied by scientists V.V. Kovalev [4], V.A. Romanyuk, S.A. Petrenko [5] in studies of static verification methods. However, modern methods of verification and control do not extend to the stage of program execution, when natural errors and vulnerabilities, as well as deliberate bookmarks appear through the data and resources used. This allowed us to conclude that the development of a new model of a device for dynamic control of computations to meet the requirements for the timely detection of secretive information and technical effects on special-purpose computing systems is urgent.
Известно устройство обеспечения целостности программного обеспечения [6]. Недостатком данного устройства является отсутствие контроля семантической корректности производимых вычислений.A device for ensuring the integrity of software [6]. The disadvantage of this device is the lack of control of the semantic correctness of the calculations.
Наиболее близким является устройство процессора безопасности [7]. Однако в нем не предусмотрено противодействие атакам, связанными с возможной модификацией машинных инструкций процессора.The closest is the security processor device [7]. However, it does not provide for countering attacks related to the possible modification of machine instructions for the processor.
Целью предлагаемого устройства является динамический контроль семантики выполнения арифметических операций и контроль целостности вычислений в целом. Поставленная цель достигается тем, что в устройстве организован семантический контроль, заключающийся в анализе абстрактных размерностей обрабатываемых переменных на основе математического аппарата теории размерности и подобия.The purpose of the proposed device is the dynamic control of the semantics of arithmetic operations and control the integrity of the calculations as a whole. The goal is achieved by the fact that the device organized semantic control, consisting in the analysis of abstract dimensions of the processed variables on the basis of the mathematical apparatus of the theory of dimension and similarity.
Существующие возможности инструментальных средств IDA Pro и IRIDA 2.0 [8] позволяют представить вычислительный процесс исполняемого кода программы расчетной задачи управляющим графом, описать граф вызовов подпрограмм, а также классифицировать передачи управления на подпрограммы (ближние вызовы, вызовы по содержимому регистра, вызовы через таблицу импорта, дальние вызовы, вызовы с возвратом или без возврата в вызывающую подпрограмму, неклассифицированные вызовы, к которым относятся недизассемблированные IDA Pro участки кода и участки кода, не отнесенные ни к одной подпрограмме). Кроме этого, в инструментальном комплексе IRIDA 2.0 [8] реализован механизм расстановки контрольных точек по трассе выполнения вычислительного процесса, в которых в дальнейшем будет происходить формирование семантических эталонов. Таким образом, данные, полученные с помощью этих инструментальных средств (управляющий граф программы с внедренными контрольными точками на линейные участки вычислительного процесса), являются входными данными для построения семантических инвариантов программы.The existing capabilities of the IDA Pro and IRIDA 2.0 tools [8] allow you to represent the computational process of the executable code of the calculation task program as a control graph, describe the call graph of subprograms, and classify control transfers to subprograms (close calls, calls by register contents, calls through the import table, long-distance calls, calls with or without returning to the calling routine, unclassified calls, which include unassembled IDA Pro sections of code and sections of code, not from carried to any subroutine). In addition, the toolkit IRIDA 2.0 [8] implements a mechanism for placing control points along the path of the computational process, in which the formation of semantic standards will continue in the future. Thus, the data obtained using these tools (the control graph of the program with embedded control points on the linear sections of the computational process) are the input data for constructing semantic invariants of the program.
Сущность полезной модели состоит в обеспечении распараллеливания задач контроля и управления вычислительным процессом, выполняемого центральным процессором или математическим сопроцессором (фиг. 1). Устройство и процессор обмениваются информацией по каналам последовательного интерфейса. На плате устройства размещаются блоки: анализа машинных инструкций, обработки данных, построения определяющих соотношений в терминах размерностей, решения системы определяющих соотношений, результатом которого является матрица инвариантов подобия, анализа и сравнения полученных инвариантов с паспортом программы (фиг 2).The essence of the utility model is to provide parallelization of tasks of control and management of the computing process performed by the central processor or mathematical coprocessor (Fig. 1). The device and the processor exchange information through the channels of the serial interface. Blocks are placed on the device board: analysis of machine instructions, data processing, construction of determining relations in terms of dimensions, solving a system of determining relations, the result of which is a matrix of similarity invariants, analysis and comparison of the obtained invariants with the program passport (Fig. 2).
Схема работы устройства содержит следующие этапы. Этап формирования инвариантов подобия в контрольной точке выполняется блоками анализа машинных инструкций и обработки данных, этап формирования базы данных инвариантов подобия выполняется блоками построения определяющих соотношений в терминах размерностей и решения полученной системы соотношений, этап проверки критерия семантической корректности вычислительных процессов выполняется блоком анализа и сравнения полученных инвариантов с паспортом программы. В случае обнаружения несовпадения на этапе проверки критерия семантической корректности формируется сигнал о возможном информационно-техническом воздействии на вычислительный процесс.The scheme of the device contains the following steps. The stage of formation of similarity invariants at a control point is performed by blocks of analysis of machine instructions and data processing, the stage of formation of a database of similarity invariants is performed by blocks of constructing defining relations in terms of dimensions and solving the resulting system of relations, the stage of checking the criterion of semantic correctness of computational processes is performed by a block of analysis and comparison of the obtained invariants with the program passport. In case of discrepancy at the stage of checking the criterion of semantic correctness, a signal is generated about a possible information and technical impact on the computing process.
Технический результат заключается в том, что устройство позволяет представить вычислительный процесс в виде соответствующей системы уравнений размерностей или определяющими соотношениями в заранее установленных контрольных точках, решение системы позволяет получить инвариантные информативные признаки процесса и исследовать семантику вычислений, производимых процессором (математическим сопроцессором). Эталонные признаки (или инварианты) образуют паспорт программы. Штатные инварианты формируются в процессе вычислений и сравниваются с эталоном. Сравнение полученных результатов с эталонными позволяет сделать вывод о корректности выполняемого вычислительного процесса и отсутствии скрытных модификаций арифметических операций.The technical result consists in the fact that the device allows to represent the computing process in the form of an appropriate system of dimensional equations or defining relations at predetermined control points, the solution of the system allows to obtain invariant informative features of the process and to study the semantics of the calculations performed by the processor (mathematical coprocessor). Reference features (or invariants) form the program passport. Established invariants are formed in the process of calculations and compared with the standard. Comparison of the obtained results with the reference results allows us to conclude that the computational process is being performed correctly and that there are no hidden modifications of arithmetic operations.
Устройство позволяет контролировать семантику производимых вычислений и гарантировать корректность получаемого результата.The device allows you to control the semantics of the calculations and guarantee the correctness of the result.
Устройство работает следующим образом:The device operates as follows:
Множество команд К исполняемой программы (команды ассемблера) разбивается на три подмножества:The set of K commands of an executable program (assembler instructions) is divided into three subsets:
КА - аддитивные команды (сложение, вычитание, сравнение…);K A - additive commands (addition, subtraction, comparison ...);
Км - мультипликативные команды (умножение, деление, возведение в степень, …);K m - multiplicative teams (multiplication, division, exponentiation, ...);
KN - не интерпретируемые команды.K N - not interpreted commands.
Блок анализа машинных инструкций интерпретирует команды процессора (математического сопроцессора) следующим образом:The machine instruction analysis unit interprets the processor (mathematical coprocessor) instructions as follows:
если процессор выполняет команду кi∈KA или кi∈KM, то управление на обработку команды и ее операндов передается блоку преобразования данных;if the processor executes the command to i ∈K A or to i ∈K M , then control for processing the instruction and its operands is transferred to the data conversion unit;
если процессор выполняет команду кi∈KN, то сопроцессор простаивает до поступления следующей машинной инструкции.if the processor executes the command to i ∈K N , then the coprocessor is idle until the next machine instruction arrives.
Блок преобразования данных осуществляет разбор арифметического выражения путем построения дерева вывода. На вершине дерева находится операция, выполняемая в последнюю очередь. Для однозначного построения дерева определен порядок вычисления операций в выражении, с учетом их приоритетов и порядка выполнения операций с одинаковым приоритетом, в том числе при вычислении одной и той же операции. Такие выражения вычисляются слева направо. После разбора арифметического выражения управление передается блоку построения системы соотношений.The data conversion unit parses an arithmetic expression by constructing an output tree. At the top of the tree is the last operation performed. For unambiguous construction of the tree, the procedure for calculating the operations in the expression is determined, taking into account their priorities and the order of operations with the same priority, including when calculating the same operation. Such expressions are evaluated from left to right. After parsing the arithmetic expression, control is transferred to the unit for constructing the system of relations.
Блок построения системы соотношений в общем виде работает следующим образом. Арифметическое выражение, поступающее с блока преобразования данных, представляется в виде упорядоченной последовательности первичных соотношений [9], соответствующих арифметическим операторам:The unit for constructing the system of relations in general is as follows. The arithmetic expression coming from the data conversion unit is presented in the form of an ordered sequence of primary relations [9] corresponding to arithmetic operators:
Выполнив в правых частях соотношений суперпозицию {yi} на X, формируется система соотношений, инвариантных относительно перемещения:Having performed the superposition {y i } on X in the right-hand sides of the relations, a system of relations is formed that are invariant with respect to displacement:
Соотношение можно представить в виде:Ratio can be represented as:
где zij(x1,x2, …, xN) - степенной одночлен.where z ij (x 1 , x 2 , ..., x N ) is a power monomial.
Слагаемые суммы (3) должны быть однородными по размерностям, т.е.The summands (3) must be uniform in dimensions, i.e.
или or
Система (4) является системой определяющих соотношений или системой уравнений подобия.System (4) is a system of defining relations or a system of similarity equations.
Семантическая функция ρ=X→[Х] сопоставляет каждому хj∈X некоторую абстрактную размерность [xj]∈[X]. Тогда размерности слагаемых суммы (3) можно представить в виде:The semantic function ρ = X → [X] associates with each x j ∈X some abstract dimension [x j ] ∈ [X]. Then the dimensions of the summands of the sum (3) can be represented as:
Семантическая функция позволяет выполнять операции над физическими размерностями программных переменных. Аксиоматика расширенной семантической алгебры, определяющая операции над размерностями переменных, представлена в табл. 1.The semantic function allows you to perform operations on the physical dimensions of program variables. The axiomatics of extended semantic algebra, which defines operations on the dimensions of variables, is presented in Table. one.
Блок решения системы определяющих соотношений преобразует систему соотношенийThe solution block of the system of defining relations transforms the system of relations
к видуto mind
Используя прием логарифмирования, из системы (7) получается однородная система линейных уравненийUsing the logarithm technique, a uniform system of linear equations is obtained from system (7)
которая является критерием семантической корректности вычислительного процесса. В результате решения системы уравнений формируется матрицаwhich is the criterion of semantic correctness of the computing process. As a result of solving the system of equations, a matrix is formed
инвариантов подобия для каждого арифметического выражения.similarity invariants for each arithmetic expression.
Совокупность, таким образом, сформированных эталонных матриц инвариантов подобия вычислительного процесса представляют собой паспорт программы. Совокупность штатных матриц, построенных в ходе выполнения программы в вычислительных комплексах, представляют собой базу данных штатных инвариантов подобия.The set of thus formed reference matrices of invariants of similarity of the computing process is a program passport. The set of standard matrices constructed during the execution of the program in computer complexes is a database of standard similarity invariants.
Блок анализа и сравнения штатных инвариантов с паспортом программы осуществляет проверку критерия семантической корректности вычислительного процесса (фиг. 3). В случае обнаружения нарушения семантической корректности выполнения программы, то есть если для данной контрольной точки λjn-λin≠0, то формируется сигнал и реализуется попытка восстановления вычислений по обратному преобразованию инвариантов эталонной матрицы.The analysis and comparison unit for regular invariants with the program passport verifies the criterion of semantic correctness of the computing process (Fig. 3). If a violation of the semantic correctness of the program execution is detected, that is, if for a given control point λ jn -λ in ≠ 0, a signal is generated and an attempt is made to restore the calculations from the inverse transformation of the invariants of the reference matrix.
Устройство позволяет определить не только факт нарушения семантики вычислений, а указать конкретное место воздействия на программу, используя механизм внедрения контрольных точек.The device allows you to determine not only the fact of violation of the semantics of calculations, but also to indicate a specific place of influence on the program using the mechanism for implementing control points.
Технико-экономическая эффективность полезной модели заключается в уменьшении временных затрат, требуемых для обнаружения скрытных информационно-технических воздействий на процесс вычислений. Описанные выше преобразования процесса для контроля производимых вычислений в случае программной реализации требуют значительных затрат ресурсов вычислительной системы. Поэтому разработана модель устройства для реализации динамического контроля, позволяющего в режиме реального времени выполнения задачи производить контроль вычислений с минимальным временем задержки.The technical and economic efficiency of the utility model is to reduce the time required to detect secretive information and technical influences on the calculation process. The process transformations described above for controlling the computations performed in the case of a software implementation require a significant expenditure of computer system resources. Therefore, a model of the device for the implementation of dynamic control was developed, which allows real-time execution of tasks to control calculations with a minimum delay time.
Данные выводы подтверждаются выполнением расчетов по вычислению производительности системы при программной и аппаратной реализациях динамического контроля вычислений следующим способом.These findings are confirmed by performing calculations to calculate system performance with software and hardware implementations of dynamic control of calculations in the following way.
Для системы n уравнений с n неизвестными при отсутствии выборок из массива (хранящего информацию о перестановках строк и столбцов) общая вычислительная трудоемкость вывода инвариантов подобия равна количеству операций процессора:For a system of n equations with n unknowns in the absence of samples from the array (storing information about permutations of rows and columns), the total computational complexity of deriving similarity invariants is equal to the number of processor operations:
или (при наличии выборок из массива)or (if there are samples from the array)
где KMUL - коэффициент вычислительной трудоемкости операции целочисленного умножения по сравнению с операцией целочисленного сложения для данной аппаратной платформы. Для процессоров класса Intel Pentium значение этого коэффициента составляет 6-10 раз, для процессоров класса Intel 8086 достигает 20-40 раз. При передаче управления устройству динамического контроля специальных вычислений на практике приводит к выигрышу в вычислительной трудоемкости выделения инвариантов подобия и повышению оперативности обнаружения модификаций вычислений.where K MUL is the coefficient of computational complexity of the operation of integer multiplication compared with the operation of integer addition for a given hardware platform. For processors of the Intel Pentium class, the value of this coefficient is 6-10 times, for processors of the Intel 8086 class it reaches 20-40 times. When transferring control to the device for dynamic control of special calculations in practice, it leads to a gain in computational complexity of distinguishing similarity invariants and an increase in the efficiency of detection of modifications of calculations.
Примечание:Note:
Источники информации, принятые при составлении описания и формулы полезной модели.Sources of information adopted in the preparation of the description and formulas of the utility model.
1. Седов Л.И. Методы теории размерности и теории подобия в механике. - М.; Л.: ОГИЗ. Гос. изд-во технико-теорет. лит., 1944. - 136 с.1. Sedov L.I. Methods of dimensional theory and similarity theory in mechanics. - M .; L .: OGIZ. Gos. Publishing House of Technical and Theoretical. lit., 1944. - 136 p.
2. Венников В.А. Теория подобия и моделирования. Учеб. пособие для вузов. Изд. 2-е, доп. и перераб. - М.: «Высшая школа». - 1976.2. Vennikov V.A. Theory of similarity and modeling. Textbook manual for universities. Ed. 2nd, add. and reslave. - M.: "Higher school." - 1976.
3. Гухман А.А. Применение теории подобия к исследованию процессов тепло-массообмена. Изд. 2-е, доп. и перераб. - М.: «Высшая школа». - 1974.3. Gukhman A.A. Application of the theory of similarity to the study of heat-mass transfer processes. Ed. 2nd, add. and reslave. - M.: "Higher school." - 1974.
4. Годердзишвили Г.М., Ковалев В.В., Романюк В.А. Метод статического контроля правильности программ. - СПб, 1986 - 8 с.4. Goderdzishvili G.M., Kovalev V.V., Romanyuk V.A. The method of static control of the correctness of programs. - St. Petersburg, 1986 - 8 p.
5. Петренко С.А. Методы информационно-технического воздействия на киберсистемы и возможные способы противодействия. // Труды ИСА РАН «Управление рисками и безопасностью». Том 41. - М.: ЛЕНАНД, 2009. - С. 104-146.5. Petrenko S.A. Methods of information and technical impact on cyber systems and possible methods of counteraction. // Proceedings of the ISA RAS "Risk and Security Management". Volume 41. - M .: LENAND, 2009 .-- S. 104-146.
6. RU 2541196 С2, Заявка: 2013104050/08, 22.07.2010.6. RU 2541196 C2, Application: 2013104050/08, 07/22/2010.
7. RU 2568298 С2, Заявка: 2012102988/08, 23.06.2010.7. RU 2568298 C2, Application: 2012102988/08, 06/23/2010.
8. Инструментальный комплекс для автоматизации проведения статического и динамического анализа потоков управления в исполняемых кодах программ «ШГОА» // ТУ 425790.007.72410666.04. ООО «Газинформсервис».8. The tool complex for automation of static and dynamic analysis of control flows in executable codes of the ShGOA programs // TU 425790.007.72410666.04. LLC Gazinformservice.
9. Харжевская А.В., Ломако А.Г., Петренко С.А. Представление программ инвариантами подобия для контроля искажения вычислений. - Вопросы кибербезопасности-2017. - №2 (20). - С. 9-20.9. Kharzhevskaya A.V., Lomako A.G., Petrenko S.A. Representation of programs by similarity invariants to control computational distortion. - Issues of cybersecurity-2017. - No. 2 (20). - S. 9-20.
УСТРОЙСТВО ДИНАМИЧЕСКОГО КОНТРОЛЯ ВЫПОЛНЕНИЯ СПЕЦИАЛЬНЫХ ВЫЧИСЛЕНИЙDEVICE OF DYNAMIC CONTROL OF PERFORMANCE OF SPECIAL COMPUTATIONS
где R - результат операции;where R is the result of the operation;
L, R - левый и правый операнды;L, R - left and right operands;
[] - размерность.[] is the dimension.
Claims (1)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
RU2017140535U RU179302U1 (en) | 2017-11-21 | 2017-11-21 | DEVICE OF DYNAMIC CONTROL OF PERFORMANCE OF SPECIAL COMPUTATIONS |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
RU2017140535U RU179302U1 (en) | 2017-11-21 | 2017-11-21 | DEVICE OF DYNAMIC CONTROL OF PERFORMANCE OF SPECIAL COMPUTATIONS |
Publications (1)
Publication Number | Publication Date |
---|---|
RU179302U1 true RU179302U1 (en) | 2018-05-07 |
Family
ID=62105206
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
RU2017140535U RU179302U1 (en) | 2017-11-21 | 2017-11-21 | DEVICE OF DYNAMIC CONTROL OF PERFORMANCE OF SPECIAL COMPUTATIONS |
Country Status (1)
Country | Link |
---|---|
RU (1) | RU179302U1 (en) |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20090248781A1 (en) * | 2008-03-28 | 2009-10-01 | Priyadarsan Patra | Method and device for dynamically verifying a processor architecture |
EP2466506A1 (en) * | 2010-12-17 | 2012-06-20 | Gemalto SA | Dynamic method for verifying the integrity of the execution of executable code |
RU2541196C2 (en) * | 2010-07-22 | 2015-02-10 | Награвисьон С.А. | Method of providing software integrity |
RU2568298C2 (en) * | 2009-06-29 | 2015-11-20 | Виаксесс | Method to detect attack attempt, record medium and security processor for this method |
-
2017
- 2017-11-21 RU RU2017140535U patent/RU179302U1/en not_active IP Right Cessation
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20090248781A1 (en) * | 2008-03-28 | 2009-10-01 | Priyadarsan Patra | Method and device for dynamically verifying a processor architecture |
RU2568298C2 (en) * | 2009-06-29 | 2015-11-20 | Виаксесс | Method to detect attack attempt, record medium and security processor for this method |
RU2541196C2 (en) * | 2010-07-22 | 2015-02-10 | Награвисьон С.А. | Method of providing software integrity |
EP2466506A1 (en) * | 2010-12-17 | 2012-06-20 | Gemalto SA | Dynamic method for verifying the integrity of the execution of executable code |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Fan et al. | Automatic reachability analysis for nonlinear hybrid models with C2E2 | |
Abdulla et al. | Flatten and conquer: a framework for efficient analysis of string constraints | |
Mitov et al. | Fast likelihood calculation for multivariate Gaussian phylogenetic models with shifts | |
Déharbe et al. | Integrating SMT solvers in Rodin | |
CN107480435B (en) | Automatic search machine learning system and method applied to clinical data | |
Herber et al. | Bit-precise formal verification of discrete-time MATLAB/Simulink models using SMT solving | |
Skeirik et al. | A constructor-based reachability logic for rewrite theories | |
Brady et al. | ATLAS: automatic term-level abstraction of RTL designs | |
CN107851002A (en) | A kind of code compiling method and code encoder | |
Roohi et al. | HARE: A hybrid abstraction refinement engine for verifying non-linear hybrid automata | |
CN115859302A (en) | Source code vulnerability detection method, device, equipment and storage medium | |
Passmore et al. | Real algebraic strategies for MetiTarski proofs | |
Eubank et al. | Statistical Computing in C++ and R | |
Brady et al. | Learning conditional abstractions | |
RU179302U1 (en) | DEVICE OF DYNAMIC CONTROL OF PERFORMANCE OF SPECIAL COMPUTATIONS | |
Chirigati et al. | Packing experiments for sharing and publication | |
Petković et al. | On an application of symbolic computation and computer graphics to root-finders: The case of multiple roots of unknown multiplicity | |
Damouche et al. | Transformation of a PID controller for numerical accuracy | |
CN109446054B (en) | Processing method and terminal equipment for override operation request based on big data | |
CN109241511B (en) | Electronic report generation method and equipment | |
Sumner et al. | Coalescing executions for fast uncertainty analysis | |
Stetsenko et al. | Thread pool parameters tuning using simulation | |
Simić et al. | Tight error analysis in fixed-point arithmetic | |
Wang et al. | Wombit: A portfolio bit-vector solver using word-level propagation | |
Enders et al. | PIdARCI: Using assembly instruction patterns to identify, annotate, and revert compiler idioms |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
MM9K | Utility model has become invalid (non-payment of fees) |
Effective date: 20180522 |