Show simple item record

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

dc.contributor.editorBauer, Lujo
dc.contributor.editorKüsters, Ralf
dc.date.accessioned2018-10-01 23:55:55
dc.date.accessioned2020-03-18 13:36:15
dc.date.accessioned2020-04-01T12:01:52Z
dc.date.available2020-04-01T12:01:52Z
dc.date.issued2018
dc.identifier1002261
dc.identifierOCN: 1031399913en_US
dc.identifier.urihttp://library.oapen.org/handle/20.500.12657/27744
dc.description.abstractauthentication; 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
dc.languageEnglish
dc.relation.ispartofseriesSecurity and Cryptology
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer scienceen_US
dc.subject.otherauthentication
dc.subject.othercomputer science
dc.subject.othercomputer software selection and evaluation
dc.subject.othercryptography
dc.subject.otherdata privacy
dc.subject.otherformal logic
dc.subject.otherformal methods
dc.subject.otherformal specification
dc.subject.otherinternet
dc.subject.otherprivacy
dc.subject.otherprogram compilers
dc.subject.otherprogramming languages
dc.subject.othersecurity analysis
dc.subject.othersecurity systems
dc.subject.othersemantics
dc.subject.otherseparation logic
dc.subject.othersoftware engineering
dc.subject.otherspecifications
dc.subject.otherverification
dc.subject.otherworld wide web
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.doi10.1007/978-3-319-89722-6
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isbn9783319897226
oapen.series.number10804
oapen.place.publicationCham
oapen.identifier.ocn1031399913


Files in this item

Thumbnail
Name:
1002261.pdf
Size:
12.57Mb
Format:
PDF
License:
https://creativecommons.org/li ...
Webshop link:
https://link.springer.com/book ...
View/Open

This item appears in the following Collection(s)

Show simple item record