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

  • Alessandro Armando
  • Gavin Lowe
Conference proceedings ARSPA-WITS 2010

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

Table of contents

  1. Front Matter
  2. Flemming Nielson, Han Gao, Hanne Riis Nielson
    Pages 1-1
  3. Aaron D. Jaggard, Catherine Meadows, Michael Mislove, Roberto Segala
    Pages 2-22
  4. Michele Bugliesi, Stefano Calzavara, Damiano Macedonio
    Pages 23-40
  5. Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
    Pages 41-58
  6. Andrea Falcone, Riccardo Focardi
    Pages 77-94
  7. Riccardo Focardi, Flaminia L. Luccio
    Pages 95-110
  8. Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés
    Pages 111-111
  9. Matteo Centenaro, Riccardo Focardi
    Pages 130-145
  10. Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh
    Pages 146-163
  11. Michele Bugliesi, Paolo Modesti
    Pages 164-184
  12. Back Matter

About these proceedings

Keywords

access control automated reasoning formal specification intrusion detection logic-based design security

Editors and affiliations

  • Alessandro Armando
    • 1
  • Gavin Lowe
    • 2
  1. 1.DIST Dipartimento di Informatica, Sistematica e TelematicaUniversità di GenovaGenovaItaly
  2. 2.Computing LaboratoryOxford UniversityOxfordUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16074-5
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16073-8
  • Online ISBN 978-3-642-16074-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book