Formal logical language to set requirements for secure code execution

DOI10.1134/S036176881705005XzbMath1455.68044OpenAlexW2754304698WikidataQ122442513 ScholiaQ122442513MaRDI QIDQ2216855

A. V. Kozachok

Publication date: 17 December 2020

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computer security (68M25)

Uses Software

• PoMMaDe

Cites Work

• Unnamed Item
• Efficient Malware Detection Using Model-Checking

This page was built for publication: Formal logical language to set requirements for secure code execution