Language:

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

https://creativecommons.org/licenses/by/4.0/legalcode ;ISBN: 9783319897226 ;ISBN: 3319897225 ;ISBN: 9783319897219 ;ISBN: 3319897217 ;EISBN: 9783319897226 ;EISBN: 3319897225 ;DOI: 10.1007/978-3-319-89722-6 ;OCLC: OCN: 1031399913 ;OCLC: 1031399913 ;OCLC: 1066185056

Full text available

Citations Cited by

Actions
1. Add to My Research
2. Remove from My Research
3. E-mail
4. Print
5. Permalink
6. Citation
7. EasyBib
8. EndNote
9. RefWorks
10. Delicious
11. Export RIS
12. Export BibTeX

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
Author: Bauer, Lujo ; Küsters, Ralf
K'sters, Ralf ; Bauer, Lujo ; Küsters, Ralf
Subjects: authentication ; Computer programming, programs, data ; Computer science ; computer software selection and evaluation ; Computers ; Computing and Information Technology ; cryptography ; data privacy ; formal logic ; formal methods ; formal specification ; internet ; privacy ; program compilers ; programming languages ; security analysis ; security systems ; semantics ; separation logic ; Software Development & Engineering ; software engineering ; specifications ; thema EDItEUR ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; verification ; world wide web
Description: 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
Related Titles: Security and Cryptology
Publisher: Cham: Springer Open
Creation Date: 2018
Format: 353
Language: English
Identifier: ISBN: 9783319897226
ISBN: 3319897225
ISBN: 9783319897219
ISBN: 3319897217
EISBN: 9783319897226
EISBN: 3319897225
DOI: 10.1007/978-3-319-89722-6
OCLC: OCN: 1031399913
OCLC: 1031399913
OCLC: 1066185056
Source: OAPEN
DOAB: Directory of Open Access Books

Back to results list


INSPIRE LIBRARY - TON DUC THANG UNIVERSITY	(84-028) 37 755 057	Feedback
19 Nguyen Huu Tho St. Dist.7, HCM	thuvien@tdtu.edu.vn	Feedback

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

https://creativecommons.org/licenses/by/4.0/legalcode ;ISBN: 9783319897226 ;ISBN: 3319897225 ;ISBN: 9783319897219 ;ISBN: 3319897217 ;EISBN: 9783319897226 ;EISBN: 3319897225 ;DOI: 10.1007/978-3-319-89722-6 ;OCLC: OCN: 1031399913 ;OCLC: 1031399913 ;OCLC: 1066185056

Searching Remote Databases, Please Wait