The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware

TL;DR

This paper presents a formal framework for developing security test procedures for information security controls, aiming to improve the effectiveness and reliability of security assessments.

Contribution

It introduces a formal metabasis approach for conformity assessment, providing structured guidelines for security testing of software and hardware.

Findings

Proposes a formal method for security test development

Offers optimized procedures for security control testing

Enhances reliability of information security assessments

Abstract

An approach to the development of security test procedures for information security controls is presented. The recommendations for optimizing the test procedure are obtained