My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Look for full text

Search Discovery

Search Trove

Add record to RefWorks

Cover Art
Author POST (Conference) (6th : 2017 : Uppsala, Sweden)

Title Principles of security and trust : 6th International Conference, POST 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings / Matteo Maffei, Mark Ryan (eds.).

Published Berlin : Springer, 2017.


Location Call No. Status
Physical description 1 online resource.
Series Lecture notes in computer science ; 10204
Advanced research in computing and software science
LNCS sublibrary. SL 4, Security and cryptology
Lecture notes in computer science ; 10204.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 4, Security and cryptology.
Springer Computer Science eBooks 2017 English+International
Notes International conference proceedings.
Includes author index.
Contents Information Flow -- Timing-Sensitive Noninterference through Composition -- Quantifying vulnerability of secret generation using hyper-distributions -- A Principled Approach to Tracking Information Flow in the Presence of Libraries -- Secure Multi-Party Computation: Information Flow of Outputs and Game Theory -- Security Protocols -- Automated verification of dynamic root of trust protocols -- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols -- On communication models when verifying equivalence properties -- A survey of attacks on Ethereum smart contracts (SoK) -- Security Policies -- Security Analysis of Cache Replacement Policies -- Model Checking Exact Cost for Attack Scenarios -- Postulates for Revocation Schemes -- Defense in Depth Formulation and Usage in Dynamic Access Control -- Information Leakage -- Compositional Synthesis of Leakage Resilient Programs -- Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows.
Bibliography Includes bibliographical references and author index.
Summary This book constitutes the proceedings of the 6th International Conference on Principles of Security and Trust, POST 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 14 papers presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: information flow; security protocols; security policies; and information leakage.
Other author Maffei, Matteo.
Ryan, Mark, 1962-
SpringerLink issuing body.
ETAPS (Conference) (20th : 2017 : Uppsala, Sweden). jointly held conference.
Subject Computer security -- Congresses.
Data encryption (Computer science) -- Congresses.
Electronic books.
Conference papers and proceedings.
Variant Title POST 2017
ISBN 9783662544556 (electronic bk.)
3662544555 (electronic bk.)
9783662544549 (print)
3662544547 (print)
Standard Number 10.1007/978-3-662-54455-6