Skip to main content
SpringerLink
Log in
Book cover

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Alessandro Armando

    1. DIST Dipartimento di Informatica, Sistematica e Telematica, Università di Genova, Genova, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gavin Lowe

    1. Computing Laboratory, Oxford University, Oxford, UK

    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 6186)

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

Included in the following conference series:

Conference proceedings info: ARSPA-WITS 2010.

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

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. The CaPiTo Approach to Protocol Validation

    • Flemming Nielson, Han Gao, Hanne Riis Nielson
    Pages 1-1

  3. Reasoning about Probabilistic Security Using Task-PIOAs

    • Aaron D. Jaggard, Catherine Meadows, Michael Mislove, Roberto Segala
    Pages 2-22

  4. Secrecy and Authenticity Types for Secure Distributed Messaging

    • Michele Bugliesi, Stefano Calzavara, Damiano Macedonio
    Pages 23-40

  5. Modular Plans for Secure Service Composition

    • Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
    Pages 41-58

  6. A Type System for Access Control Views in Object-Oriented Languages

    • Mário Pires, Luís Caires
    Pages 59-76

  7. Formal Analysis of Key Integrity in PKCS#11

    • Andrea Falcone, Riccardo Focardi
    Pages 77-94

  8. Secure Upgrade of Hardware Security Modules in Bank Networks

    • Riccardo Focardi, Flaminia L. Luccio
    Pages 95-110

  9. Interactive Information Flow

    • Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés
    Pages 111-111

  10. Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain

    • Trajce Dimkov, Wolter Pieters, Pieter Hartel
    Pages 112-129

  11. Match It or Die: Proving Integrity by Equality

    • Matteo Centenaro, Riccardo Focardi
    Pages 130-145

  12. Towards Automatic Analysis of Election Verifiability Properties

    • Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh
    Pages 146-163

  13. AnBx - Security Protocols Design and Verification

    • Michele Bugliesi, Paolo Modesti
    Pages 164-184

  14. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Keywords

Editors and Affiliations

  • DIST Dipartimento di Informatica, Sistematica e Telematica, Università di Genova, Genova, Italy

    Alessandro Armando

  • Computing Laboratory, Oxford University, Oxford, UK

    Gavin Lowe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation