Export citation

Show simple item record

dc.contributor.authorRalf Küsters*
dc.contributor.authorLujo Bauer*
dc.date.accessioned2021-02-11T23:53:43Z
dc.date.available2021-02-11T23:53:43Z
dc.date.issued2018*
dc.date.submitted2018-06-29 14:49:22*
dc.identifier27226*
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/56986
dc.identifier.pr0*
dc.description.abstractThis 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.languageEnglish*
dc.relation.ispartofseriesSecurity and Cryptology*
dc.subjectQA75.5-76.95*
dc.subject.othersecurity analysis*
dc.subject.othercryptography*
dc.subject.otherprivacy*
dc.subject.otherworld wide web*
dc.subject.othersemantics*
dc.subject.otherprogramming languages*
dc.subject.otherformal specification*
dc.subject.otherprogram compilers*
dc.subject.otherspecifications*
dc.subject.otherformal logic*
dc.subject.othercomputer science*
dc.subject.otherseparation logic*
dc.subject.otherformal methods*
dc.subject.otherdata privacy*
dc.subject.othersecurity systems*
dc.subject.othersoftware engineering*
dc.subject.othercomputer software selection and evaluation*
dc.subject.otherinternet*
dc.subject.otherverification*
dc.subject.otherauthentication*
dc.titlePrinciples 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*
dc.typebook
oapen.identifier.doihttps://doi.org/10.1007/978-3-319-89722-6*
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a*
virtual.oapen_relation_isPublishedBy.publisher_nameSpringer Nature
virtual.oapen_relation_isPublishedBy.publisher_websitehttp://www.springernature.com/oabooks
oapen.relation.isFundedByf5a6e2e8-e972-4749-980c-33c90a2eec09*
virtual.oapen_relation_isFundedBy.grantor_nameETAPS e.V.
oapen.relation.isbn9783319897226*
oapen.relation.isbn9783319897219*
oapen.pages347*
oapen.volume10804*


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

https://creativecommons.org/licenses/by/4.0/
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by/4.0/