TY  - BOOK
ED  - Bauer, Lujo
ED  - Küsters, Ralf
AB  - 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
DO  - 10.1007/978-3-319-89722-6
ID  - OAPEN ID: 1002261
ID  - OAPEN ID: OCN: 1031399913
KW  - authentication
KW  - computer science
KW  - computer software selection and evaluation
KW  - cryptography
KW  - data privacy
KW  - formal logic
KW  - formal methods
KW  - formal specification
KW  - internet
KW  - privacy
KW  - program compilers
KW  - programming languages
KW  - security analysis
KW  - security systems
KW  - semantics
KW  - separation logic
KW  - software engineering
KW  - specifications
KW  - verification
KW  - world wide web
L1  - https://library.oapen.org/bitstream/id/97f5a6ea-fc09-4daa-a9d4-33056fa04a9f/1002261.pdf
LA  - English
LK  - http://library.oapen.org/handle/20.500.12657/27744
PB  - Springer Nature
PP  - Cham
PY  - 2018
SN  - 9783319897226
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, Proceedingsnull
ER  - 
