Рассматривается подход к формализации и верификации основных положений нормативных документов в области информационной безопасности. Реализация подхода позволяет своевременно выявлять дефекты в требованиях документов и предотвращать производство и эксплуатацию потенциально уязвимых технологий и средств обеспечения защиты информации.
< ... >
The main aspects of the approach to formalization and verification of the main provisions of normative documents in the field of information security is considered. The implementation of the approach allows the timely detection of defects in the requirements of documents and prevents the production and exploitation of potentially vulnerable technologies and information protection tools.
Keywords:
information security, ontology, defects, verification, functional programming
Полную версию статьи смотрите на страницах журнала «Защита информации. Инсайд»
