Cargando…

Security Protocols XX 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers /

This book constitutes the thoroughly refereed post-workshop proceedings of the 20th International Workshop on Security Protocols, held in Cambridge, UK, in April 2012. Following the tradition of this workshop series, each paper war revised by the authors to incorporate ideas from the workshop, and i...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Christianson, Bruce (Editor ), Malcolm, James (Editor ), Stajano, Frank (Editor ), Anderson, Jonathan (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Security and Cryptology ; 7622
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-642-35694-0
003 DE-He213
005 20220115035049.0
007 cr nn 008mamaa
008 130109s2012 gw | s |||| 0|eng d
020 |a 9783642356940  |9 978-3-642-35694-0 
024 7 |a 10.1007/978-3-642-35694-0  |2 doi 
050 4 |a TK5105.5-5105.9 
072 7 |a UKN  |2 bicssc 
072 7 |a COM075000  |2 bisacsh 
072 7 |a UKN  |2 thema 
082 0 4 |a 004.6  |2 23 
245 1 0 |a Security Protocols XX  |h [electronic resource] :  |b 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers /  |c edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson. 
250 |a 1st ed. 2012. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2012. 
300 |a X, 277 p. 29 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Security and Cryptology ;  |v 7622 
505 0 |a Introduction: Bringing Protocols to Life (Transcript of Discussion) -- Secure Internet Voting Protocol for Overseas Military Voters -- Secure Internet Voting Protocol for Overseas Military Voters (Transcript of Discussion) -- Self-enforcing Electronic Voting -- Self-enforcing Electronic Voting (Transcript of Discussion) -- Approaches to Modelling Security Scenarios with Domain-Specific Languages -- Approaches to Modelling Security Scenarios with Domain-Specific Languages (Transcript of Discussion) -- The Casino and the OODA Loop: Why Our Protocols Always Eventually Fail -- The Casino and the OODA Loop: Why Our Protocols Always Eventually Fail (Transcript of Discussion) -- Statistical Metrics for Individual Password Strength -- Statistical Metrics for Individual Password Strength (Transcript of Discussion) -- Street-Level Trust Semantics for Attribute Authentication -- Street-Level Trust Semantics for Attribute Authentication (Transcript of Discussion) -- Analysis of Issues and Challenges of E-Voting in the UK -- Analysis of Issues and Challenges of E-Voting in the UK (Transcript of Discussion) -- Protocol Governance: The Elite, or the Mob? -- Protocol Governance: The Elite, or the Mob? (Transcript of Discussion) -- Usability Issues in Security -- Usability Issues in Security (Transcript of Discussion) -- Usable Privacy by Visual and Interactive Control of Information Flow -- Usable Privacy by Visual and Interactive Control of Information Flow (Transcript of Discussion) -- Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System -- Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System (Transcript of Discussion) -- Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices -- Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices (Transcript of Discussion) -- Stayin' Alive: Aliveness as an Alternative to Authentication -- Stayin' Alive: Aliveness as an Alternative to Authentication (Transcript of Discussion) -- Paul Revere Protocols -- Paul Revere Protocols (Transcript of Discussion) -- The Last Word. Secure Internet Voting Protocol for Overseas Military Voters -- Secure Internet Voting Protocol for Overseas Military Voters (Transcript of Discussion) -- Self-enforcing Electronic Voting -- Self-enforcing Electronic Voting (Transcript of Discussion) -- Approaches to Modelling Security Scenarios with Domain-Specific Languages -- Approaches to Modelling Security Scenarios with Domain-Specific Languages (Transcript of Discussion) -- The Casino and the OODA Loop: Why Our Protocols Always Eventually Fail -- The Casino and the OODA Loop: Why Our Protocols Always Eventually Fail (Transcript of Discussion) -- Statistical Metrics for Individual Password Strength -- Statistical Metrics for Individual Password Strength(Transcript of Discussion) -- Street-Level Trust Semantics for Attribute Authentication -- Street-Level Trust Semantics for Attribute Authentication (Transcript of Discussion) -- Analysis of Issues and Challenges of E-Voting in the UK -- Analysis of Issues and Challenges of E-Voting in the UK (Transcript of Discussion) -- Protocol Governance: The Elite, or the Mob? -- Protocol Governance: The Elite, or the Mob? (Transcript of Discussion) -- Usability Issues in Security -- Usability Issues in Security (Transcript of Discussion) -- Usable Privacy by Visual and Interactive Control of Information Flow -- Usable Privacy by Visual and Interactive Control of Information Flow (Transcript of Discussion) -- Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System -- Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System (Transcript of Discussion) -- Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices -- Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices (Transcript of Discussion) -- Stayin' Alive: Aliveness as an Alternative to Authentication -- Stayin' Alive: Aliveness as an Alternative to Authentication (Transcript of Discussion) -- Paul Revere Protocols -- Paul Revere Protocols (Transcript of Discussion) -- The Last Word. 
520 |a This book constitutes the thoroughly refereed post-workshop proceedings of the 20th International Workshop on Security Protocols, held in Cambridge, UK, in April 2012. 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". 
650 0 |a Computer networks . 
650 0 |a Cryptography. 
650 0 |a Data encryption (Computer science). 
650 0 |a Electronic data processing-Management. 
650 0 |a Algorithms. 
650 0 |a Application software. 
650 0 |a Computers and civilization. 
650 1 4 |a Computer Communication Networks. 
650 2 4 |a Cryptology. 
650 2 4 |a IT Operations. 
650 2 4 |a Algorithms. 
650 2 4 |a Computer and Information Systems Applications. 
650 2 4 |a Computers and Society. 
700 1 |a Christianson, Bruce.  |e editor.  |0 (orcid)0000-0002-3777-7476  |1 https://orcid.org/0000-0002-3777-7476  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Malcolm, James.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Stajano, Frank.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Anderson, Jonathan.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642356957 
776 0 8 |i Printed edition:  |z 9783642356933 
830 0 |a Security and Cryptology ;  |v 7622 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-642-35694-0  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)