My Library

University LibraryCatalogue


LEADER 00000cam a2200637Mi 4500 
003    OCoLC 
005    20190319055011.6 
006    m     o  d         
007    cr |n||||||||| 
008    170405s2017    gw      ob    101 0 eng d 
019    SpringerEBAocn982578734 
020    9783662544556|q(electronic bk.) 
020    3662544555|q(electronic bk.) 
020    |z9783662544549|q(print) 
020    |z3662544547|q(print) 
024 7  10.1007/978-3-662-54455-6|2doi 
040    YDX|beng|epn|cYDX|dOCLCO|dGW5XE|dNJR|dOCLCF|dOCLCO|dAZU
       |dUPM|dUAB|dESU|dJG0|dBNG|dCOO|dMERER|dOTZ|dOCLCQ|dVT2
       |dW2U|dIOG|dU3W|dOCLCA|dKSU|dUCW|dOCLCQ|dAU@|dEBLCP|dWYU
       |dOCLCQ 
049    MAIN 
050  4 QA76.9.A25|bP67 2017eb 
082 04 005.8|223 
111 2  POST (Conference)|n(6th :|d2017 :|cUppsala, Sweden) 
245 10 Principles of security and trust :|b6th 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 /|cMatteo 
       Maffei, Mark Ryan (eds.). 
246 3  POST 2017 
260    Berlin :|bSpringer,|c2017. 
300    1 online resource. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
347    text file|bPDF|2rda 
490 1  Lecture notes in computer science ;|v10204 
490 1  Advanced research in computing and software science 
490 1  LNCS sublibrary. SL 4, Security and cryptology 
500    International conference proceedings. 
500    Includes author index. 
504    Includes bibliographical references and author index. 
505 0  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. 
520    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. 
650  0 Computer security|vCongresses. 
650  0 Data encryption (Computer science)|vCongresses. 
655  4 Electronic books. 
655  7 Conference papers and proceedings.|2fast
       |0(OCoLC)fst01423772 
700 1  Maffei, Matteo. 
700 1  Ryan, Mark,|d1962- 
710 2  SpringerLink|eissuing body. 
711 2  ETAPS (Conference)|n(20th :|d2017 :|cUppsala, Sweden).
       |ejointly held conference. 
776 08 |iPrint version:|aPOST (Conference) (6th : 2017 : Uppsala,
       Sweden).|tPrinciples of security and trust.|dBerlin : 
       Springer, 2017|z3662544547|z9783662544549
       |w(OCoLC)972826531 
830  0 Lecture notes in computer science ;|v10204. 
830  0 Lecture notes in computer science.|pAdvanced research in 
       computing and software science. 
830  0 LNCS sublibrary.|nSL 4,|pSecurity and cryptology. 
830  0 Springer Computer Science eBooks 2017 English+
       International 
856 40 |uhttps://ezp.lib.unimelb.edu.au/login?url=http://
       link.springer.com/10.1007/978-3-662-54455-6|zConnect to 
       ebook (University of Melbourne only) 
990    Springer EBA e-book collections for 2017-2019 
990    Springer Computer Science eBooks 2017 - Full Set 
990    Batch Ebook load (bud2) - do not edit, delete or attach 
       any records. 
991    |zNEW New collection springerlink.ebookscs2017 2019-03-18 
Location Call No. Status
 UniM INTERNET resource    AVAILABLE