Security Protocols XX
Subtitle: 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers
By: edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson
Contributors: Malcolm, James; Stajano, Frank; Anderson, Jonathan; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7622
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 277
ISBN-13: 9783642356940
Subjects: Information Systems; Computers and Society; Algorithm Analysis and Problem Complexity; Computer Communication Networks; Data Encryption; Data encryption (Computer science); Management of Computing and Information Systems; Information Systems Applications (incl. Internet); Computer software; Computer science
Description: This book constitutes the thoroughly refereed post-workshop proceedings of the 20th International Workshop on Security Protocols, held in Cambridge, UK, in April 2012.<br>Following the tradition of this workshop series, each paper war revised by the authors to incorporate ideas from the workshop, and is followed in these proceedings by an edited transcription of the presentation and ensuing discussion. The volume contains 14 papers with their transcriptions as well as an introduction, i.e. 29 contributions in total. The theme of the workshop was "Bringing protocols to life".
Table of contents: title: <p>Introduction: Bringing Protocols to Life (Transcript of Discussion); title: Secure Internet Voting Protocol for Overseas Military Voters; title: Secure Internet Voting Protocol for Overseas Military Voters<p>(Transcript of Discussion); title: Self-enforcing Electronic Voting; title: Self-enforcing Electronic Voting (Transcript of Discussion); title: Approaches to Modelling Security Scenarios with Domain-Specific<p>Languages; title: Approaches to Modelling Security Scenarios with Domain-Specific<p>Languages (Transcript of Discussion); title: The Casino and the OODA Loop: Why Our Protocols Always<p>Eventually Fail; title: The Casino and the OODA Loop: Why Our Protocols Always<p>Eventually Fail (Transcript of Discussion); title: Statistical Metrics for Individual Password Strength; title: Statistical Metrics for Individual Password Strength<p>(Transcript of Discussion); title: Street-Level Trust Semantics for Attribute Authentication; title: Street-Level Trust Semantics for Attribute Authentication<p>(Transcript of Discussion); title: ^; title: Analysis of Issues and Challenges of E-Voting in the UK; title: Analysis of Issues and Challenges of E-Voting in the UK<p>(Transcript of Discussion); title: Protocol Governance: The Elite, or the Mob?; title: Protocol Governance: The Elite, or the Mob?<p>(Transcript of Discussion); title: Usability Issues in Security; title: Usability Issues in Security (Transcript of Discussion); title: Usable Privacy by Visual and Interactive Control of Information<p>Flow; title: Usable Privacy by Visual and Interactive Control of Information<p>Flow (Transcript of Discussion); title: Sense-And-Trace: A Privacy Preserving Distributed Geolocation<p>Tracking System; title: Sense-And-Trace: A Privacy Preserving Distributed Geolocation<p>Tracking System (Transcript of Discussion); title: Am I in Good Company? A Privacy-Protecting Protocol<p>for Cooperating Ubiquitous Computing Devices; title: Am I in Good Company? A Privacy-Protecting Protocol<p>for Cooperating Ubiquitous Computing Devices</p><p>(Transcript of Discussion); title: ^; title: ^^; title: Stayin’ Alive: Aliveness as an Alternative to Authentication; title: Stayin’ Alive: Aliveness as an Alternative to Authentication<p>(Transcript of Discussion); title: Paul Revere Protocols; title: Paul Revere Protocols (Transcript of Discussion); title: The Last Word.</p></p></p></p></p></p></p></p></p></p></p></p></p></p></p></p></p>Secure Internet Voting Protocol for Overseas Military Voters; title: Secure Internet Voting Protocol for Overseas Military Voters<p>(Transcript of Discussion); title: Self-enforcing Electronic Voting; title: Self-enforcing Electronic Voting (Transcript of Discussion); title: Approaches to Modelling Security Scenarios with Domain-Specific<p>Languages; title: Approaches to Modelling Security Scenarios with Domain-Specific<p>Languages (Transcript of Discussion); title: The Casino and the OODA Loop: Why Our Protocols Always<p>Eventually Fail; title: The Casino and the OODA Loop: Why Our Protocols Always<p>Eventually Fail (Transcript of Discussion); title: Statistical Metrics for Individual Password Strength; title: ^; title: ^^; title: Statistical Metrics for Individual Password Strength(Transcript of Discussion); title: Street-Level Trust Semantics for Attribute Authentication; title: Street-Level Trust Semantics for Attribute Authentication<p>(Transcript of Discussion); title: Analysis of Issues and Challenges of E-Voting in the UK; title: Analysis of Issues and Challenges of E-Voting in the UK<p>(Transcript of Discussion); title: Protocol Governance: The Elite, or the Mob?; title: Protocol Governance: The Elite, or the Mob?<p>(Transcript of Discussion); title: Usability Issues in Security; title: Usability Issues in Security (Transcript of Discussion); title: Usable Privacy by Visual and Interactive Control of Information<p>Flow; title: Usable Privacy by Visual and Interactive Control of Information<p>Flow (Transcript of Discussion); title: Sense-And-Trace: A Privacy Preserving Distributed Geolocation<p>Tracking System; title: Sense-And-Trace: A Privacy Preserving Distributed Geolocation<p>Tracking System (Transcript of Discussion); title: ^; title: ^^; title: Am I in Good Company? A Privacy-Protecting Protocol<p>for Cooperating Ubiquitous Computing Devices; title: Am I in Good Company? A Privacy-Protecting Protocol<p>for Cooperating Ubiquitous Computing Devices</p><p>(Transcript of Discussion); title: Stayin’ Alive: Aliveness as an Alternative to Authentication; title: Stayin’ Alive: Aliveness as an Alternative to Authentication<p>(Transcript of Discussion); title: Paul Revere Protocols; title: Paul Revere Protocols (Transcript of Discussion); title: The Last Word.</p></p></p></p></p></p></p></p></p></p></p></p></p></p></p></p>Self-enforcing Electronic Voting; title: Self-enforcing Electronic Voting (Transcript of Discussion); title: Approaches to Modelling Security Scenarios with Domain-Specific<p>Languages; title: Approaches to Modelling Security Scenarios with Domain-Specific<p>Languages (Transcript of Discussion); title: The Casino and the OODA Loop: Why Our Protocols Always<p>Eventually Fail; title: ^; title: ^^; title: The Casino and the OODA Loop: Why Our Protocols Always<p>Eventually Fail (Transcript of Discussion); title: Statistical Metrics for Individual Password Strength; title: Statistical Metrics for Individual Password Strength<p>(Transcript of Discussion); title: Street-Level Trust Semantics for Attribute Authentication; title: Street-Level Trust Semantics for Attribute Authentication<p>(Transcript of Discussion); title: Analysis of Issues and Challenges of E-Voting in the UK; title: Analysis of Issues and Challenges of E-Voting in the UK<p>(Transcript of Discussion); title: Protocol Governance: The Elite, or the Mob?; title: Protocol Governance: The Elite, or the Mob?<p>(Transcript of Discussion); title: Usability Issues in Security; title: Usability Issues in Security (Transcript of Discussion); title: Usable Privacy by Visual and Interactive Control of Information<p>Flow; title: Usable Privacy by Visual and Interactive Control of Information<p>Flow (Transcript of Discussion); title: ^; title: ^^; title: Sense-And-Trace: A Privacy Preserving Distributed Geolocation<p>Tracking System; title: Sense-And-Trace: A Privacy Preserving Distributed Geolocation<p>Tracking System (Transcript of Discussion); title: Am I in Good Company? A Privacy-Protecting Protocolfor Cooperating Ubiquitous Computing Devices; title: Am I in Good Company? A Privacy-Protecting Protocol<p>for Cooperating Ubiquitous Computing Devices</p><p>(Transcript of Discussion); title: Stayin’ Alive: Aliveness as an Alternative to Authentication; title: Stayin’ Alive: Aliveness as an Alternative to Authentication<p>(Transcript of Discussion); title: Paul Revere Protocols; title: Paul Revere Protocols (Transcript of Discussion); title: The Last Word.</p></p></p></p></p></p></p></p></p></p></p></p></p></p></p>Approaches to Modelling Security Scenarios with Domain-Specific<p>Languages (Transcript of Discussion); title: The Casino and the OODA Loop: Why Our Protocols Always<p>Eventually Fail; title: ^; title: ^^; title: The Casino and the OODA Loop: Why Our Protocols Always<p>Eventually Fail (Transcript of Discussion); title: Statistical Metrics for Individual Password Strength; title: Statistical Metrics for Individual Password Strength<p>(Transcript of Discussion); title: Street-Level Trust Semantics for Attribute Authentication; title: Street-Level Trust Semantics for Attribute Authentication<p>(Transcript of Discussion); title: Analysis of Issues and Challenges of E-Voting in the UK; title: Analysis of Issues and Challenges of E-Voting in the UK<p>(Transcript of Discussion); title: Protocol Governance: The Elite, or the Mob?; title: Protocol Governance: The Elite, or the Mob?<p>(Transcript of Discussion); title: Usability Issues in Security; title: Usability Issues in Security (Transcript of Discussion); title: Usable Privacy by Visual and Interactive Control of Information<p>Flow; title: Usable Privacy by Visual and Interactive Control of Information<p>Flow (Transcript of Discussion); title: ^; title: ^^; title: Sense-And-Trace: A Privacy Preserving Distributed Geolocation<p>Tracking System; title: Sense-And-Trace: A Privacy Preserving Distributed Geolocation<p>Tracking System (Transcript of Discussion); title: Am I in Good Company? A Privacy-Protecting Protocol<p>for Cooperating Ubiquitous Computing Devices; title: Am I in Good Company? A Privacy-Protecting Protocol<p>for Cooperating Ubiquitous Computing Devices</p><p>(Transcript of Discussion); title: Stayin’ Alive: Aliveness as an Alternative to Authentication; title: Stayin’ Alive: Aliveness as an Alternative to Authentication<p>(Transcript of Discussion); title: Paul Revere Protocols; title: Paul Revere Protocols (Transcript of Discussion); title: The Last Word.</p></p></p></p></p></p></p></p></p></p></p></p></p></p>The Casino and the OODA Loop: Why Our Protocols Always<p>Eventually Fail; title: The Casino and the OODA Loop: Why Our Protocols Always<p>Eventually Fail (Transcript of Discussion); title: Statistical Metrics for Individual Password Strength; title: ^; title: ^^; title: Statistical Metrics for Individual Password Strength<p>(Transcript of Discussion); title: Street-Level Trust Semantics for Attribute Authentication; title: Street-Level Trust Semantics for Attribute Authentication<p>(Transcript of Discussion); title: Analysis of Issues and Challenges of E-Voting in the UK; title: Analysis of Issues and Challenges of E-Voting in the UK(Transcript of Discussion); title: Protocol Governance: The Elite, or the Mob?; title: Protocol Governance: The Elite, or the Mob?<p>(Transcript of Discussion); title: Usability Issues in Security; title: Usability Issues in Security (Transcript of Discussion); title: Usable Privacy by Visual and Interactive Control of Information<p>Flow; title: Usable Privacy by Visual and Interactive Control of Information<p>Flow (Transcript of Discussion); title: Sense-And-Trace: A Privacy Preserving Distributed Geolocation<p>Tracking System; title: Sense-And-Trace: A Privacy Preserving Distributed Geolocation<p>Tracking System (Transcript of Discussion); title: ^; title: ^^; title: Am I in Good Company? A Privacy-Protecting Protocol<p>for Cooperating Ubiquitous Computing Devices; title: Am I in Good Company? A Privacy-Protecting Protocol<p>for Cooperating Ubiquitous Computing Devices</p><p>(Transcript of Discussion); title: Stayin’ Alive: Aliveness as an Alternative to Authentication; title: Stayin’ Alive: Aliveness as an Alternative to Authentication<p>(Transcript of Discussion); title: Paul Revere Protocols; title: Paul Revere Protocols (Tra.; title: ^^