Formal security models

MaRDI QIDQ5155130zbMATH OpenFDO

Authors Vyacheslav Leonidovich Tokarev

Publication date 6 October 2021

Full work available at URL http://mathnet.ru/eng/cheb1016

zbMATH Keywords

formal modelsinformation securitypredicate algebra

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Theoretical aspects of information security
• Usage formal models for vulnerability analysis
• Analysis of security models for computer systems
• Review lection of security models of computer system
• Mathematical and computer modelling in information system security

Cited in

(2)

• scientific article; zbMATH DE number 1487483 (Why is no real title available?)
• Структурно-функціональна модель системи забезпечення інформаційної й інформаційно-психологічної безпеки

This page was built for publication: Formal security models

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