Custom cover image
Custom cover image

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

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Security and CryptologyPublisher: Cham : Springer Nature, 2018Description: 1 Online-RessourceISBN:
  • 9783319897226
Subject(s): Online resources: Summary: 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 webPPN: PPN: 1778549047Package identifier: Produktsigel: ZDB-94-OAB
No physical items for this record

Open Access. Unrestricted online access star

Creative Commons https://creativecommons.org/licenses/by/4.0 cc

English

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT

Powered by Koha