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 (Record no. 51395)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01383nam a2200253Ia 4500 |
| 000 - LEADER | |
| fixed length control field | 02392naaa 00517uu |
| 001 - CONTROL NUMBER | |
| control field | https://directory.doabooks.org/handle/20.500.12854/28093 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 211013s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 978-3-319-89722-6 |
| 024 ## - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-319-89722-6 |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | dc |
| 245 #0 - TITLE STATEMENT | |
| 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 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cham |
| Name of publisher, distributor, etc. | Springer Nature |
| Date of publication, distribution, etc. | 2018 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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 |
| 540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE | |
| Terms governing use and reproduction | Creative Commons |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | authentication |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bauer, Lujo |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bauer, Lujo |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kusters, Ralf |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kusters, Ralf |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://docs.google.com/spreadsheets/d/1yKIrdCPDAG_9c22mwoOIO2DOhtj65Wqa/edit?usp=sharing&ouid=106555315294820607512&rtpof=true&sd=true ">https://docs.google.com/spreadsheets/d/1yKIrdCPDAG_9c22mwoOIO2DOhtj65Wqa/edit?usp=sharing&ouid=106555315294820607512&rtpof=true&sd=true </a> |
| Link text | List of Curated E-Books |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-Book |
| Withdrawn status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Not For Loan | Directory of Open Access Books | Directory of Open Access Books | 12/22/2021 | 12/22/2021 | 12/22/2021 | E-Book |