Publication:
Principles of Security and Trust

Simple item page
dc.contributor.author Lujo Bauer, Ralf Küsters (editors)
dc.date.accessioned 2023-06-15T01:42:27Z
dc.date.available 2023-06-15T01:42:27Z
dc.date.issued 2018
dc.description DOI: https://doi.org/10.1007/978-3-319-89722-6; License: CC BY; Publisher: Springer
dc.description.abstract This open access book constitutes the proceedings of the 7th International Conference on Principles of Security and Trust, POST 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The 13 papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections named: information flow and non-intereference; leakage, information flow, and protocols; smart contracts and privacy; firewalls and attack-defense trees.
dc.identifier.doi https://doi.org/10.1007/978-3-319-89722-6
dc.identifier.isbn 9783319897226
dc.identifier.uri http://repository.vlu.edu.vn:443/handle/123456789/5295
dc.language.iso en
dc.subject Authentication
dc.subject computer science
dc.subject computer software selection and evaluation
dc.subject cryptography
dc.subject data privacy
dc.subject formal logic
dc.subject formal methods
dc.subject formal specification
dc.subject internet
dc.subject privacy
dc.subject program compilers
dc.subject programming languages
dc.subject security analysis
dc.subject security systems
dc.subject semantics
dc.subject separation logic
dc.subject software engineering
dc.subject specifications
dc.subject verification
dc.subject world wide web
dc.title Principles of Security and Trust
dc.type Resource Types::text::book
dspace.entity.type Publication
oairecerif.author.affiliation #PLACEHOLDER_PARENT_METADATA_VALUE#
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
OAB252.txt
Size:
0 B
Format:
Plain Text
Description:
Download
Collections
Open Access Books - Technology - 2018