Top of page

Book/Printed Material 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

View Enlarged Image

About this Item

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

Summary

  • This book is Open Access under a CC BY licence.

Names

  • Bauer, Lujo. editor.
  • Küsters, Ralf. editor.

Created / Published

  • Cham : Springer International Publishing : Imprint: Springer, 2018.

Contents

  • Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.

Headings

  • -  Computer security
  • -  Computer system failures
  • -  Computers
  • -  Data structures (Computer science)
  • -  Systems and Data Security
  • -  Computing Milieux
  • -  Data Structures and Information Theory
  • -  System Performance and Evaluation
  • -  Theory of Computation

Notes

  • -  Description based on publisher-supplied MARC data.
  • -  Computer Science (R0) (SpringerNature-43710)
  • -  Computer Science (SpringerNature-11645)

Medium

  • 1 online resource (XIV, 347 pages 85 illustrations)

Digital Id

Library of Congress Control Number

  • 2019744733

Rights Advisory

Access Advisory

  • Unrestricted online access

Online Format

  • image
  • epub

Additional Metadata Formats

Rights & Access

The books in this collection are licensed under open access licenses allowing for the reuse and distribution of each book following the terms described in each license. Researchers should consult the Rights Advisory statement for each title and the accompanying license details for information about rights and permissions associated with each of the licenses.

More about Copyright and other Restrictions.

Cite This Item

Citations are generated automatically from bibliographic data as a convenience, and may not be complete or accurate.

Chicago citation style:

Bauer, Lujo. Editor, and Ralf. Editor Küsters. Principles of Security and Trust: 7th International Conference, POST , Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS , Thessaloniki, Greece, April 14-20, Proceedings. Cham: Springer International Publishing: Imprint: Springer, 2018. Image. https://www.loc.gov/item/2019744733/.

APA citation style:

Bauer, L. E. & Küsters, R. E. (2018) Principles of Security and Trust: 7th International Conference, POST , Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS , Thessaloniki, Greece, April 14-20, Proceedings. Cham: Springer International Publishing: Imprint: Springer. [Image] Retrieved from the Library of Congress, https://www.loc.gov/item/2019744733/.

MLA citation style:

Bauer, Lujo. Editor, and Ralf. Editor Küsters. Principles of Security and Trust: 7th International Conference, POST , Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS , Thessaloniki, Greece, April 14-20, Proceedings. Cham: Springer International Publishing: Imprint: Springer, 2018. Image. Retrieved from the Library of Congress, <www.loc.gov/item/2019744733/>.