TY  - BOOK
AU  - Ralf Küsters||Lujo Bauer
TI  - 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
KW  - security 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
UR  - https://link.springer.com/book/10.1007/978-3-319-89722-6
ER  -