Principles of security and trust = 7...
POST (Conference) (2018 :)

FindBook      Google Book      Amazon      博客來     
  • 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 /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Principles of security and trust/ edited by Lujo Bauer, Ralf Kusters.
    其他題名: 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 /
    其他題名: POST 2018
    其他作者: Bauer, Lujo.
    團體作者: POST (Conference)
    出版者: Cham :Springer International Publishing : : 2018.,
    面頁冊數: xiv, 347 p. :ill., digital ;24 cm.
    內容註: 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.
    Contained By: Springer eBooks
    標題: Computer security - Congresses. -
    電子資源: http://dx.doi.org/10.1007/978-3-319-89722-6
    ISBN: 9783319897226
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9346575 電子資源 11.線上閱覽_V 電子書 EB QA76.9.A25 P67 2018 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入