SpringerLink
Log in

Principles of Security and Trust

First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Pierpaolo Degano

    1. Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joshua D. Guttman

    1. Computer Science, Worcester Polytechnic Institute, Worcester, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7215)

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: POST 2012.

  • 31k Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook EUR 42.79
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book EUR 53.49
Price includes VAT (Germany)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 20 papers, presented together with the abstract of an invited talk and a joint-ETAPS paper, were selected from a total of 67 submissions. Topics covered by the papers include: foundations of security, authentication, confidentiality, privacy and anonymity, authorization and trust, network security, protocols for security, language-based security, and quantitative security properties.

Similar content being viewed by others

Keywords

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Differential Privacy and the Power of (Formalizing) Negative Thinking

    • Cynthia Dwork
    Pages 1-2

  3. Security Protocol Verification: Symbolic and Computational Models

    • Bruno Blanchet
    Pages 3-29

  4. Analysing Routing Protocols: Four Nodes Topologies Are Sufficient

    • Véronique Cortier, Jan Degrieck, Stéphanie Delaune
    Pages 30-50

  5. Parametric Verification of Address Space Separation

    • Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan
    Pages 51-68

  6. Verification of Security Protocols with Lists: From Length One to Unbounded Length

    • Miriam Paiola, Bruno Blanchet
    Pages 69-88

  7. Privacy Supporting Cloud Computing: ConfiChair, a Case Study

    • Myrto Arapinis, Sergiu Bursuc, Mark Ryan
    Pages 89-108

  8. A Formal Analysis of the Norwegian E-voting Protocol

    • Véronique Cortier, Cyrille Wiedling
    Pages 109-128

  9. Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication

    • David Basin, Cas Cremers, Simon Meier
    Pages 129-148

  10. Security Proof with Dishonest Keys

    • Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri
    Pages 149-168

  11. Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity

    • Myrto Arapinis, Sergiu Bursuc, Mark D. Ryan
    Pages 169-188

  12. Towards Unconditional Soundness: Computationally Complete Symbolic Attacker

    • Gergei Bana, Hubert Comon-Lundh
    Pages 189-208

  13. Verified Indifferentiable Hashing into Elliptic Curves

    • Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin
    Pages 209-228

  14. Provable De-anonymization of Large Datasets with Sparse Dimensions

    • Anupam Datta, Divya Sharma, Arunesh Sinha
    Pages 229-248

  15. Revisiting Botnet Models and Their Implications for Takedown Strategies

    • Ting-Fang Yen, Michael K. Reiter
    Pages 249-268

  16. A Game-Theoretic Analysis of Cooperation in Anonymity Networks

    • Mu Yang, Vladimiro Sassone, Sardaouna Hamadou
    Pages 269-289

  17. Deciding Selective Declassification of Petri Nets

    • Eike Best, Philippe Darondeau
    Pages 290-308

  18. Enforceable Security Policies Revisited

    • David Basin, Vincent Jugé, Felix Klaedtke, Eugen Zălinescu
    Pages 309-328

  19. Towards Incrementalization of Holistic Hyperproperties

    • Dimiter Milushev, Dave Clarke
    Pages 329-348

  20. Type-Based Analysis of PKCS#11 Key Management

    • Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio
    Pages 349-368
Back to top

Other volumes

  1. Principles of Security and Trust

Editors and Affiliations

  • Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    Pierpaolo Degano

  • Computer Science, Worcester Polytechnic Institute, Worcester, USA

    Joshua D. Guttman

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation