| 000 | 00880nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 220616s9999||||xx |||||||||||||| ||und|| | ||
| 100 | _aRalf Küsters||Lujo Bauer | ||
| 245 | 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 | |
| 546 | _aEnglish[eng] | ||
| 650 | _asecurity analysis||cryptography||privacy||world wide web||semantics||programming languages||formal specification||program compilers||specifications||formal logic||computer science||separation logic||formal methods||data privacy||security systems||software engineering||computer software selection and evaluation||internet||verification||authentication | ||
| 856 | _uhttps://link.springer.com/book/10.1007/978-3-319-89722-6 | ||
| 942 | _cEB | ||
| 999 |
_c20823 _d20823 |
||