Low-level Data Processing Policy

Low-level Data Processing Policy

In this paper we propose a formal way of describing low-level confidential data processing constraints and show how constraints thus expressed can be verified.

Bibliographic Details
Main Authors: I. O. Leoshkevich, A. N. Veligura
Format: Article
Language:English
Published: Joint Stock Company "Experimental Scientific and Production Association SPELS 2010-09-01
Series:Безопасность информационных технологий
Subjects:
input-output
machine code
verification
Online Access:https://bit.mephi.ru/index.php/bit/article/view/696

Similar Items

Similar Items