Formal logical language to set requirements for secure code execution

DOI10.1134/S036176881705005XMaRDI QIDQ2216855zbMATH OpenOpenAlexWikidataFDO

Authors 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) Computer security (68M25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2090286
• scientific article; zbMATH DE number 1956541
• scientific article; zbMATH DE number 1832229
• scientific article; zbMATH DE number 1304002
• How Java's language design reflects the requirements of mobile code

Cites work

• Efficient malware detection using model-checking
• scientific article; zbMATH DE number 4027441 (Why is no real title available?)

Cited in

(2)

• A formal language for cryptographic protocol requirements
• scientific article; zbMATH DE number 1956541 (Why is no real title available?)

Describes a project that uses

Uses Software

• PoMMaDe

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2216855)