Skip to main content
Springer Nature Link
Log in

Security Protocols XXV

25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Frank Stajano

    1. University of Cambridge, Cambridge, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jonathan Anderson

    1. Memorial University of Newfoundland, St. John’s, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bruce Christianson

    1. University of Hertfordshire, Hatfield, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Vashek Matyáš

    1. Masaryk University, Brno, Czech Republic

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

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

Included in the following conference series:

Conference proceedings info: Security Protocols 2017.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

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 thoroughly refereed post-workshop proceedings of the 25th International Workshop on Security Protocols, held in Cambridge, UK, in March 2017.

The volume consists of 16 thoroughly revised invited papers presented together with the respective transcripts of discussions.  The theme of this year's workshop was multi-objective security and the topics covered included security and privacy, formal methods and theory of security, systems security, network security, software and application security, human and societal aspects of security and privacy, security protocols, web protocol security, and mobile and wireless security.

Similar content being viewed by others

Keywords

Table of contents (32 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Multiple Objectives of Lawful-Surveillance Protocols

    • Joan Feigenbaum, Bryan Ford
    Pages 1-8

  3. Multiple Objectives of Lawful-Surveillance Protocols (Transcript of Discussion)

    • Joan Feigenbaum
    Pages 9-17

  4. Getting Security Objectives Wrong: A Cautionary Tale of an Industrial Control System

    • Simon N. Foley
    Pages 18-29

  5. Getting Security Objectives Wrong: A Cautionary Tale of an Industrial Control System (Transcript of Discussion)

    • Simon N. Foley
    Pages 30-37

  6. Assuring the Safety of Asymmetric Social Protocols

    • Virgil Gligor, Frank Stajano
    Pages 38-48

  7. Assuring the Safety of Asymmetric Social Protocols (Transcript of Discussion)

    • Frank Stajano
    Pages 49-59

  8. Simulating Perceptions of Security

    • Paul Wernick, Bruce Christianson, Joseph Spring
    Pages 60-68

  9. Simulating Perceptions of Security (Transcript of Discussion)

    • Paul Wernick
    Pages 69-75

  10. Self Attestation of Things

    • Partha Das Chowdhury, Bruce Christianson
    Pages 76-84

  11. Self Attestation of Things (Transcript of Discussion)

    • Partha Das Chowdhury
    Pages 85-92

  12. Making Decryption Accountable

    • Mark D. Ryan
    Pages 93-98

  13. Making Decryption Accountable (Transcript of Discussion)

    • Mark D. Ryan
    Pages 99-108

  14. Extending Full Disk Encryption for the Future

    • Milan Brož
    Pages 109-115

  15. Extending Full Disk Encryption for the Future (Transcript of Discussion)

    • Milan Brož
    Pages 116-122

  16. Key Exchange with the Help of a Public Ledger

    • Thanh Bui, Tuomas Aura
    Pages 123-136

  17. Key Exchange with the Help of a Public Ledger (Transcript of Discussion)

    • Thanh Bui
    Pages 137-143

  18. Reconciling Multiple Objectives – Politics or Markets?

    • Ross Anderson, Khaled Baqer
    Pages 144-156

  19. Reconciling Multiple Objectives – Politics or Markets? (Transcript of Discussion)

    • Ross Anderson
    Pages 157-170

  20. The Seconomics (Security-Economics) Vulnerabilities of Decentralized Autonomous Organizations

    • Fabio Massacci, Chan Nam Ngo, Jing Nie, Daniele Venturi, Julian Williams
    Pages 171-179
Back to top

Other volumes

  1. Security Protocols XXV

Editors and Affiliations

  • University of Cambridge, Cambridge, United Kingdom

    Frank Stajano

  • Memorial University of Newfoundland, St. John’s, Canada

    Jonathan Anderson

  • University of Hertfordshire, Hatfield, United Kingdom

    Bruce Christianson

  • Masaryk University, Brno, Czech Republic

    Vashek Matyáš

Bibliographic Information

Publish with us

Policies and ethics

Back to top