To obtain access to full text of journal and articles you must register!
- Article name
- Adaptation of existing verification methods for software and hardware DST
- Authors
- Kanner T. M., , tatianash@okbsapr.ru, JSC "OKB SAPR"; Moscow Institute of Physics and Technology (National Research University), Moscow, Russia; Dolgoprudny, Moscow region, Russia
- Keywords
- software and hardware DST verification / adapted verification method of software and hardware DST / program "Verifier of software and hardware DST"
- Year
- 2018 Issue 1 Pages 13 - 19
- Code EDN
- Code DOI
- Abstract
- The article describes the features of verification of software and hardware data security tools (DST). An adapted method for verifying of such DST is proposed also implements procedures for formal assessment of the criticality of errors in the security functions of such protection tools detected during testing and algorithms for calculating the total error criticality used before the integration of a DST into an information system. The software implementation of the proposed adapted verification method is described, which is a decision support system that allows to automatically evaluate the criticality of detected errors in the protection tools.
- Text
- To obtain access to full text of journal and articles you must register!
- Buy
