Analysis of information flow security using software implementing business logic based on stored database program blocks
Objectives. Verification of software security is typically performed using dynamic and static analysis tools. The corresponding types of analysis do not usually consider the business logic of the software and do not rely on data access control policies. A modern approach to resolving this problem is...
Saved in:
Main Author: | A. А. Timakov |
---|---|
Format: | Article |
Language: | Russian |
Published: |
MIREA - Russian Technological University
2024-04-01
|
Series: | Российский технологический журнал |
Subjects: | |
Online Access: | https://www.rtj-mirea.ru/jour/article/view/877 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Automation of Formal Verification of Programs in the Pifagor Language
by: M. S. Ushakova, et al.
Published: (2015-08-01) -
THE SOFTWARE PACKAGE FOR DATA STREAM SCRAMBLING
by: P. A. Kadiev, et al.
Published: (2016-07-01) -
Formal Verification of Programs in Functional Dataflow Parallel Language
by: M. S. Kropacheva, et al.
Published: (2015-03-01) -
Temporal Logic for Programmable Logic Controllers
by: Natalia Olegovna Garanina, et al.
Published: (2020-12-01) -
Ensuring the Survivability of a Complex Technical System Under Special Conditions
by: Vladimir V. Alekseev, et al.
Published: (2025-07-01)