First order logic to set requirements for secure code execution

Currently the problem of information security during designing and exploiting the objects of critical information infrastructure is paid special attention to. One of the most common approaches to providing information security, processed on the objects, is creating isolated programming environment....

詳細記述

書誌詳細

出版年:	Труды Института системного программирования РАН
第一著者:	A. V. Kozachok
フォーマット:	論文
言語:	英語
出版事項:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
主題:	формальный логический язык моделирование процесс вредоносная программа проверка моделей автомат безопасности
オンライン･アクセス:	https://ispranproceedings.elpub.ru/jour/article/view/356