On the problem of representation of the formal model of security policy for operating systems
In connection with the process of implementation by the Federal Service for Technical and Export Control of Russia "Information Security Requirements for Operating Systems", the work analyzes the ways of fulfilling the requirements of the functional component ADV_SPM.1 "Formal Securit...
| 出版年: | Труды Института системного программирования РАН |
|---|---|
| 第一著者: | |
| フォーマット: | 論文 |
| 言語: | 英語 |
| 出版事項: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-10-01
|
| 主題: | |
| オンライン･アクセス: | https://ispranproceedings.elpub.ru/jour/article/view/274 |