Security protocols XX : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers /
Saved in:
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 |
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 |