Get started
Author

A. А. Timakov

Observed names: A. A. TIMAKOV, A. A. Timakov, A.A. Timakov, Aleksei A. Timakov
ORCID: 0000-0003-4306-789X
Observed ORCID: 0000-0003-4306-789X
OpenAlex ID: A5070490019
Information Flow Control in Software DB Units Based on Formal Verification
2022 · A. A. Timakov · Programming and Computer Software · 8
Scenario of Information Flow Analysis Implementation in PL/SQL Program Units with PLIF Platform
2023 · A. A. Timakov · Programming and Computer Software · 2
Analysis of information flow security using software implementing business logic based on stored database program blocks
2024 · A. А. Timakov · Russian Technological Journal · 1
PDF
PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+)
2025 · A. A. Timakov, I. G. Ryzhov · Programming and Computer Software
Plif Platform: Modeling and Verification of Information Flows in Software Db Units Using the Temporal Logic of Actions Tla+
2025 · A.A. Timakov, I.G. Ryzhov · Programming and Computer Software
PDF
Description of Paralocks language semantics in TLA+
2024 · A. A. Timakov · Программирование
PDF
Description of Paralocks Language Semantics in TLA+
2024 · A. A. Timakov · Programming and Computer Software
Scenario of Information Flow Analysis Implementation in Pl/sql Program Units With Plif Platform
2023 · A. A. TIMAKOV · Программирование
Features of the software architecture of the PLIF language platform for the analysis of the security of information flows in automated systems
2023 · Aleksei A. Timakov, Mikhail M. Fadeev, et al. · Bezopasnost informacionnyh tehnology
PDF
Works count: 9
Citation count: 11
H-index: 2
I10-index:
Year
Topic
Type