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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Christianson Bruce (Directeur de publication), Malcolm James (Directeur de publication), Stajano Frank (Directeur de publication), Anderson Jonathan (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Security protocols. XX, 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers / edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2012
Cham : Springer Nature
Collection : Security and Cryptology ; 7622
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Sujets :
Documents associés : Autre format: Security Protocols XX
Autre format: Security Protocols XX
LEADER 07394clm a2200661 4500
001 PPN168329158
003 http://www.sudoc.fr/168329158
005 20241001155200.0
010 |a 978-3-642-35694-0 
017 7 0 |a 10.1007/978-3-642-35694-0  |2 DOI 
035 |a (OCoLC)829433956 
035 |a Springer978-3-642-35694-0 
035 |a Springer-11645-978-3-642-35694-0 
100 |a 20130325d2012 u |0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a DE 
135 |a dr||||||||||| 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c c  |2 rdamedia 
182 1 |6 z01  |a b 
183 |6 z01  |a ceb  |2 RDAfrCarrier 
200 1 |a Security protocols  |h XX  |i 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers  |f edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson. 
214 0 |a Berlin, Heidelberg  |c Springer Berlin Heidelberg 
214 2 |a Cham  |c Springer Nature  |d 2012 
225 0 |a Security and Cryptology  |x 2946-1863  |v 7622 
330 |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". 
359 1 |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. 
371 0 |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition 
410 | |t Security and Cryptology  |x 2946-1863  |v 7622 
452 | |t Security Protocols XX  |b Texte imprimé  |y 9783642356933 
452 | |t Security Protocols XX  |b Texte imprimé  |y 9783642356957 
610 1 |a Computer Science 
610 2 |a Data Encryption 
610 2 |a Management of Computing and Information Systems 
610 2 |a Algorithm Analysis and Problem Complexity 
610 2 |a Information Systems Applications (incl. Internet) 
610 2 |a Computer Communication Networks 
610 2 |a Computers and Society 
610 2 |a Cryptology. 
610 2 |a Algorithms 
610 2 |a Computer and Information Systems Applications 
610 2 |a IT Operations 
615 |a @Computer Science  |n 11645  |2 Springer 
676 |a 004.6  |v 23 
680 |a TK5105.5-5105.9 
700 1 |a Christianson  |b Bruce  |4 651 
701 1 |a Malcolm  |b James  |4 651 
701 1 |a Stajano  |b Frank  |4 651 
701 1 |a Anderson  |b Jonathan  |4 651 
801 3 |a FR  |b Abes  |c 20231204  |g AFNOR 
801 1 |a DE  |b Springer  |c 20231204  |g AACR2 
856 4 |5 441099901:830856781  |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-35694-0 
915 |5 441099901:830856781  |b SPRING13-00709 
930 |5 441099901:830856781  |b 441099901  |j g 
991 |5 441099901:830856781  |a Exemplaire créé en masse par ITEM le 30-09-2024 16:13 
997 |a NUM  |b SPRING13-00709  |d NUMpivo  |e EM  |s d 
998 |a 978539