Information flow control in software DB units based on formal verification

DOI10.1134/S0361768822040053OpenAlexW4285729766WikidataQ114075138 ScholiaQ114075138MaRDI QIDQ2172738

A. A. Timakov

Publication date: 16 September 2022

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768822040053

Mathematics Subject Classification ID

Database theory (68P15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computer security (68M25)

Related Items (1)

Software development data analysis and processing under the Internet of things monitoring system

Uses Software

• PLIF
• Paragon
• Ur/Web
• GitHub
• JSLINQ
• SeLINQ

Cites Work

• Unnamed Item
• SeLINQ
• Types vs. PDGs in Information Flow Analysis
• A lattice model of secure information flow
• Protection in operating systems
• Certification of programs for secure information flow
• Information flow inference for ML
• Paralocks
• Programming Languages and Systems

This page was built for publication: Information flow control in software DB units based on formal verification