Go to main content

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 / Lujo Bauer, Ralf Küsters (eds.).

POST (Conference) (7th : 2018 : Thessalonikē, Greece); Bauer, Lujo, editor.; Küsters, Ralf, editor.; ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece), jointly held conference.
2018
QA76.9.A25 P67 2018eb
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

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 / Lujo Bauer, Ralf Küsters (eds.).
Meeting Name
POST (Conference) (7th : 2018 : Thessalonikē, Greece)
ISBN
9783319897226 (electronic book)
3319897225 (electronic book)
9783319897219
DOI
https://doi.org/10.1007/978-3-319-89722-6
Published
Cham, Switzerland : Springer Open, 2018.
Language
English
Description
1 online resource (xiv, 347 pages) : illustrations.
Item Number
10.1007/978-3-319-89722-6 doi
Call Number
QA76.9.A25 P67 2018eb
Dewey Decimal Classification
005.8
Summary
This book is Open Access under a CC BY licence.
Note
International conference proceedings.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Open access.
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed April 17, 2018).
Added Author
Bauer, Lujo, editor.
Küsters, Ralf, editor.
Added Meeting Name
ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece), jointly held conference.
Series
Lecture notes in computer science ; 10804.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 4, Security and cryptology.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export