Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic;...
Сохранить в:
| Другие авторы: | , |
|---|---|
| Формат: | Электронный ресурс Глава книги |
| Язык: | английский |
| Опубликовано: |
Cham
Springer Nature
2018
|
| Серии: | Security and Cryptology
10804 |
| Предметы: | |
| Online-ссылка: | OAPEN Library: download the publication OAPEN Library: description of the publication |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Search Result 1
DOAB: description of the publication
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Опубликовано 2018
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс
Глава книги
Search Result 2