| 000 | 02556naaaa2200541uu 4500 | ||
|---|---|---|---|
| 001 | https://directory.doabooks.org/handle/20.500.12854/28093 | ||
| 020 | _a978-3-319-89722-6 | ||
| 020 | _a9783319897226 | ||
| 024 | 7 |
_a10.1007/978-3-319-89722-6 _cdoi |
|
| 041 | 0 | _aEnglish | |
| 042 | _adc | ||
| 072 | 7 |
_aUY _2bicssc |
|
| 100 | 1 |
_aBauer, Lujo _4edt |
|
| 700 | 1 |
_aKüsters, Ralf _4edt |
|
| 700 | 1 |
_aBauer, Lujo _4oth |
|
| 700 | 1 |
_aKüsters, Ralf _4oth |
|
| 245 | 1 | 0 | _aPrinciples 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 |
_aCham _bSpringer Nature _c2018 |
||
| 506 | 0 |
_aOpen Access _2star _fUnrestricted online access |
|
| 520 | _aauthentication; 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 |
_aCreative Commons _fhttps://creativecommons.org/licenses/by/4.0/ _2cc _4https://creativecommons.org/licenses/by/4.0/ |
||
| 546 | _aEnglish | ||
| 650 | 7 |
_aComputer science _2bicssc |
|
| 653 | _aauthentication | ||
| 653 | _acomputer science | ||
| 653 | _acomputer software selection and evaluation | ||
| 653 | _acryptography | ||
| 653 | _adata privacy | ||
| 653 | _aformal logic | ||
| 653 | _aformal methods | ||
| 653 | _aformal specification | ||
| 653 | _ainternet | ||
| 653 | _aprivacy | ||
| 653 | _aprogram compilers | ||
| 653 | _aprogramming languages | ||
| 653 | _asecurity analysis | ||
| 653 | _asecurity systems | ||
| 653 | _asemantics | ||
| 653 | _aseparation logic | ||
| 653 | _asoftware engineering | ||
| 653 | _aspecifications | ||
| 653 | _averification | ||
| 653 | _aworld wide web | ||
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/27744/1/1002261.pdf _70 _zDOAB: download the publication |
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/27744/1/1002261.pdf _70 _zDOAB: download the publication |
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/27744/1/1002261.pdf _70 _zDOAB: download the publication |
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://directory.doabooks.org/handle/20.500.12854/28093 _70 _zDOAB: description of the publication |
| 999 |
_c59900 _d59900 |
||