Security protocols XX : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers /

Saved in:
Bibliographic Details
Meeting name:International Workshop on Security Protocols (20th : 2012 : Cambridge, England)
Imprint:Berlin ; New York : Springer, ©2012.
Description:1 online resource.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 7622
LNCS sublibrary. SL 4, Security and cryptology
Lecture notes in computer science ; 7622.
LNCS sublibrary. SL 4, Security and cryptology.
Subject:
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11077802
Hidden Bibliographic Details
Varying Form of Title:Security protocols 20
Other authors / contributors:Christianson, Bruce.
ISBN:9783642356940
364235694X
3642356931
9783642356933
9783642356933
Notes:Includes author index.
Includes bibliographical references and index.
Summary: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."
Other form:Printed edition: 9783642356933
Standard no.:10.1007/978-3-642-35694-0

MARC

LEADER 00000cam a2200000Ka 4500
001 11077802
005 20170630045555.6
006 m o d
007 cr cnu---unuuu
008 121228s2012 gw ob 101 0 eng d
003 ICU
010 |a  2012954009 
040 |a GW5XE  |b eng  |e pn  |c GW5XE  |d COO  |d ZMC  |d YDXCP  |d NUI  |d OCLCF  |d UKMGB  |d BEDGE  |d OCLCO  |d NLGGC  |d AU@  |d OCL  |d OCLCO  |d OCLCQ  |d VT2 
015 |a GBB318807  |2 bnb 
016 7 |a 016247955  |2 Uk 
019 |a 820143127  |a 848173386  |a 964912026  |a 985032978 
020 |a 9783642356940  |q (electronic bk.) 
020 |a 364235694X  |q (electronic bk.) 
020 |a 3642356931  |q (print) 
020 |a 9783642356933  |q (print) 
020 |z 9783642356933 
024 7 |a 10.1007/978-3-642-35694-0  |2 doi 
035 |a (OCoLC)822995925  |z (OCoLC)820143127  |z (OCoLC)848173386  |z (OCoLC)964912026  |z (OCoLC)985032978 
050 4 |a QA76.9.A25  |b .I58 2012 
072 7 |a QA  |2 lcco 
084 |a 54.62  |2 bcl 
049 |a MAIN 
111 2 |a International Workshop on Security Protocols  |n (20th :  |d 2012 :  |c Cambridge, England)  |1 http://viaf.org/viaf/296840998 
245 1 0 |a Security protocols XX :  |b 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers /  |c Bruce Christianson [and others] (eds.). 
246 3 |a Security protocols 20 
260 |a Berlin ;  |a New York :  |b Springer,  |c ©2012. 
300 |a 1 online resource. 
336 |a text  |b txt  |2 rdacontent  |0 http://id.loc.gov/vocabulary/contentTypes/txt 
337 |a computer  |b c  |2 rdamedia  |0 http://id.loc.gov/vocabulary/mediaTypes/c 
338 |a online resource  |b cr  |2 rdacarrier  |0 http://id.loc.gov/vocabulary/carriers/cr 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 7622 
490 1 |a LNCS sublibrary. SL 4, Security and cryptology 
505 0 0 |t Introduction: Bringing Protocols to Life  |g (Transcript of Discussion) /  |r Bruce Christianson --  |t Secure Internet Voting Protocol for Overseas Military Voters /  |r Todd R. Andel, Alec Yasinsac --  |t Secure Internet Voting Protocol for Overseas Military Voters  |g (Transcript of Discussion) /  |r Todd R. Andel --  |t Self-enforcing Electronic Voting /  |r Feng Hao, Brian Randell, Dylan Clarke --  |t Self-enforcing Electronic Voting  |g (Transcript of Discussion) /  |r Feng Hao --  |t Approaches to Modelling Security Scenarios with Domain-Specific Languages /  |r Phillip J. Brooke, Richard F. Paige, Christopher Power --  |t Approaches to Modelling Security Scenarios with Domain-Specific Languages  |g (Transcript of Discussion) /  |r Phillip J. Brooke --  |t The Casino and the OODA Loop /  |r Sandy Clark, Matt Blaze, Jonathan M. Smith --  |t The Casino and the OODA Loop: Why Our Protocols Always Eventually Fail  |g (Transcript of Discussion) /  |r Matt Blaze --  |t Statistical Metrics for Individual Password Strength /  |r Joseph Bonneau. 
505 8 0 |t Statistical Metrics for Individual Password Strength  |g (Transcript of Discussion) /  |r Joseph Bonneau --  |t Street-Level Trust Semantics for Attribute Authentication /  |r Tiffany Hyun-Jin Kim, Virgil Gligor, Adrian Perrig --  |t Street-Level Trust Semantics for Attribute Authentication  |g (Transcript of Discussion) /  |r Virgil Gligor --  |t Analysis of Issues and Challenges of E-Voting in the UK /  |r Dylan Clarke, Feng Hao, Brian Randell --  |t Analysis of Issues and Challenges of E-Voting in the UK  |g (Transcript of Discussion) /  |r Dylan Clarke --  |t Protocol Governance: The Elite, or the Mob? /  |r Ross Anderson --  |t Protocol Governance: The Elite, or the Mob?  |g (Transcript of Discussion) /  |r Ross Anderson --  |t Usability Issues in Security /  |r Yuko Murayama, Yasuhiro Fujihara, Yoshia Saito, Dai Nishioka --  |t Usability Issues in Security  |g (Transcript of Discussion) /  |r Yuko Murayama --  |t Usable Privacy by Visual and Interactive Control of Information Flow /  |r Shah Mahmood, Yvo Desmedt. 
505 8 0 |t Usable Privacy by Visual and Interactive Control of Information Flow  |g (Transcript of Discussion) /  |r Shah Mahmood --  |t Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System /  |r Eyüp S. Canlar, Mauro Conti, Bruno Crispo, Roberto Di Pietro --  |t Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System  |g (Transcript of Discussion) /  |r Mauro Conti --  |t Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices /  |r Oliver Stannard, Frank Stajano --  |t Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices  |g (Transcript of Discussion) /  |r Frank Stajano --  |t Stayin' Alive: Aliveness as an Alternative to Authentication /  |r Jonathan Anderson, Robert N.M. Watson --  |t Stayin' Alive: Aliveness as an Alternative to Authentication  |g (Transcript of Discussion) /  |r Jonathan Anderson --  |t Paul Revere Protocols /  |r Paul Syverson --  |t Paul Revere Protocols  |g (Transcript of Discussion) /  |r Paul Syverson. 
500 |a Includes author index. 
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." 
504 |a Includes bibliographical references and index. 
650 0 |a Computer security  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2008101458 
650 0 |a Data encryption (Computer science)  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2008102033 
650 0 |a Computer networks  |x Access control  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2007008426 
650 7 |a Informatique.  |2 eclas 
650 7 |a Computer networks  |x Access control.  |2 fast  |0 (OCoLC)fst00872298 
650 7 |a Computer security.  |2 fast  |0 (OCoLC)fst00872484 
650 7 |a Data encryption (Computer science)  |2 fast  |0 (OCoLC)fst00887935 
653 4 |a Computer science. 
653 4 |a Computer Communication Networks. 
653 4 |a Data encryption (Computer science) 
653 4 |a Computer software. 
653 4 |a Information Systems. 
653 4 |a Management of Computing and Information Systems. 
653 4 |a Computers and Society. 
655 4 |a Electronic books. 
655 7 |a Conference papers and proceedings.  |2 fast  |0 (OCoLC)fst01423772 
700 1 |a Christianson, Bruce.  |0 http://id.loc.gov/authorities/names/n98070906  |1 http://viaf.org/viaf/18011908 
776 0 8 |i Printed edition:  |z 9783642356933 
830 0 |a Lecture notes in computer science ;  |v 7622. 
830 0 |a LNCS sublibrary.  |n SL 4,  |p Security and cryptology. 
856 4 0 |u http://link.springer.com/10.1007/978-3-642-35694-0  |y SpringerLink 
903 |a HeVa 
929 |a eresource 
999 f f |i 61850aa9-f49e-5401-b9e4-58c278b27fa1  |s d000b22d-1d28-58a2-97b0-90a8975e778b 
928 |t Library of Congress classification  |a QA76.9.A25 .I58 2012  |l Online  |c UC-FullText  |u http://link.springer.com/10.1007/978-3-642-35694-0  |z SpringerLink  |g ebooks  |i 9887992