Use of the PVS formal logic system in the method of formal proof of security in the construction of information security systems
Victor Zhora, Oleksandr Synetskyi
| Year of publication: |
2021
|
|---|---|
| Authors: | Zhora, Victor ; Synetskyi, Oleksandr |
| Published in: |
Technology audit and production reserves. - Kharkiv : SPC PC Technology center, ISSN 2706-5448, ZDB-ID 2943943-7. - Vol. 2.2021, 2/58, p. 41-45
|
| Subject: | information and telecommunication system | information security system | security policy | method of formal proof of security | specification language | Datensicherheit | Data security | Theorie | Theory |
freely available