Buchumschlag

Algebraic patterns of binary code vulnerabilities

Detection of software systems’ vulnerabilities is an actual problem in the IT industry nowadays. The approaches to the solution of this problem, based on the symbolic methods, became very popular and promising during the last decade. The article describes an approach to the vulnerabilities detection...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2020
1. Verfasser:	Yakovlev, V.M.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2020
Schlagworte:	software vulnerabilities symbolic modeling algebraic matching behavior algebra UDC 004.05 004.4[2+9] 004.94 519.7
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/390
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
von: Parasiuk, I.N., et al.
Veröffentlicht: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Modern technological aspects of decision support systems
von: Churubrova, S.M.
Veröffentlicht: (2017)

Weather anomaly monitoring method based on sensor network technology
von: Rahozin, D.V.
Veröffentlicht: (2017)

Hibrid approach to processing incomplete stream data in distributed real-time systems
von: Zhyliuk, Y., et al.
Veröffentlicht: (2025)

Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
von: Lazarenko, S.V., et al.
Veröffentlicht: (2025)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

Research of the synchronization patterns and their use in GPGPU
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Increase the temporal efficiency of data structures in memory based on adaptation
von: Shinkarenko, V.I., et al.
Veröffentlicht: (2015)

Algebraic modeling in international and local service logistical systems
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2021)

Managing data center resources using heuristic search
von: Zharikov, E.V.
Veröffentlicht: (2018)

A method of two-tier storage management in virtualized data center
von: Zharikov, E.V.
Veröffentlicht: (2019)

Method of detection of http attacks on a smart home using the algebraic matching method
von: Gorbatiuk, V.O., et al.
Veröffentlicht: (2023)

On decompilation of VLIW executable files
von: Jakub, K.
Veröffentlicht: (2017)

Module-based scientific physics engine architecture
von: Bernatovych, A.A., et al.
Veröffentlicht: (2023)

Analysis of storage and display frameworks based on aspect-oriented technologies
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Managing scientific workflows in grid systems
von: Tverdokhlib, E.M., et al.
Veröffentlicht: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Creation of design methods for the CUDA hardware and software platform
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

One approach for advanced internet-programs creation on example of widget-programs developing
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
von: Slabospitskaya, О.A.
Veröffentlicht: (2017)

Рaradigms of programming assembling type in software engeneering
von: Lavrischeva, E.M.
Veröffentlicht: (2025)

Using Petri nets to design parallel applications
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Principles of modeling GPGPU-applications using Petri nets
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Specialized software for simulating dynamic virtual machine consolidation
von: Zharikov, E.V., et al.
Veröffentlicht: (2022)

Algebraic patterns of binary code vulnerabilities
von: V. M. Yakovlev
Veröffentlicht: (2020)

Methods of recognition by the agent of the unknown environment
von: Yalovets, A.L.
Veröffentlicht: (2019)

Descriptive logic using in Web-service problems
von: Zakharova, O.V.
Veröffentlicht: (2017)

Method of information and analytical support for information security risk management of information systems
von: Rodin, Y.S.
Veröffentlicht: (2019)

Tasks for information security risks management in making-decision process
von: Rodin, Y.S.
Veröffentlicht: (2018)

The concept and evaluating of big data quality in the semantic environment
von: Novitsky, A.V.
Veröffentlicht: (2023)

V.M. Glushkov Kyiv School of Programming
von: Andon, P.I.
Veröffentlicht: (2025)

Conflict controlled network modeling: evolutionary games approach
von: Ignatenko, O.P., et al.
Veröffentlicht: (2019)

Implementation the concept of adaptive broadcast system and automatic preparation of content
von: Provotar, O.I., et al.
Veröffentlicht: (2025)

Game model of user interaction in heterogeneous distributed environments
von: Ignatenko, O.P., et al.
Veröffentlicht: (2017)

Fluid models of dynamic scheduling in computer networks
von: Іgnatenko, O.P.
Veröffentlicht: (2025)

Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
von: Zakharova, O.V.
Veröffentlicht: (2023)

The translator of Petri-object model visual programming language
von: Dyfuchyn, А.Yu.
Veröffentlicht: (2022)