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;...
Zapisane w:
| Format: | Online |
|---|---|
| Język: | angielski |
| Wydane: |
Springer Nature
2021
|
| Hasła przedmiotowe: | |
| Dostęp online: | 1002261 |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|
| _version_ | 1869523740994306048 |
|---|---|
| collection | Directory of Open Access Books |
| description | 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; software engineering; specifications; verification; world wide web |
| format | Online |
| id | doab-20.500.12854ir-28093 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-280932024-04-14T10:28:05Z 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 Bauer, Lujo Küsters, Ralf 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 software engineering specifications verification world wide web thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science 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; software engineering; specifications; verification; world wide web 2021-02-10T12:58:18Z 2018-10-01 23:55:55 2020-03-18 13:36:15 2020-04-01T12:01:52Z 2018 book 1002261 OCN: 1031399913 http://library.oapen.org/handle/20.500.12657/27744 9783319897226 https://directory.doabooks.org/handle/20.500.12854/28093 eng Security and Cryptology open access image/jpeg image/jpeg image/jpeg image/jpeg Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International https://library.oapen.org/bitstream/20.500.12657/27744/1/1002261.pdf https://library.oapen.org/bitstream/20.500.12657/27744/1/1002261.pdf https://library.oapen.org/bitstream/20.500.12657/27744/1/1002261.pdf https://library.oapen.org/bitstream/20.500.12657/27744/1/1002261.pdf Springer Nature 10.1007/978-3-319-89722-6 10.1007/978-3-319-89722-6 9fa3421d-f917-4153-b9ab-fc337c396b5a 9783319897226 Cham open access |
| spellingShingle | 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 software engineering specifications verification world wide web thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science 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 |
| title | 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 |
| title_full | 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 |
| title_fullStr | 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 |
| title_full_unstemmed | 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 |
| title_short | 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 |
| title_sort | 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 |
| topic | 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 software engineering specifications verification world wide web thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science |
| topic_facet | 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 software engineering specifications verification world wide web thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science |
| url | 1002261 |