MARC details
| 000 -LEADER |
|---|
| fixed length control field |
10436cam a2201081 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
on1197542343 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250707093308.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn||||mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
200820s2020 sz a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
SFB |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
SFB |
| Modifying agency |
LQU |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
YDX |
| -- |
OCL |
| -- |
TXI |
| -- |
OCLCO |
| -- |
UKMGB |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBC230199 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
019900597 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
1190723444 |
| -- |
1191040541 |
| -- |
1195458523 |
| -- |
1196167680 |
| -- |
1197556724 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3030570436 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783030570439 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783030570422 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3030570428 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-030-57043-9 |
| Source of number or code |
doi |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-030-57 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000068059079 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000067877991 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000068654715 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
UKMGB |
| System control number |
019900597 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1197542343 |
| Canceled/invalid control number |
(OCoLC)1190723444 |
| -- |
(OCoLC)1191040541 |
| -- |
(OCoLC)1195458523 |
| -- |
(OCoLC)1196167680 |
| -- |
(OCoLC)1197556724 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
com.springer.onix.9783030570439 |
| Source of stock number/acquisition |
Springer Nature |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.A25 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UR |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM053000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UR |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.8 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Workshop on Security Protocols |
| Number of part/section/meeting |
(27th : |
| Date of meeting |
2019 : |
| Location of meeting |
Cambridge, England) |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Security protocols XXVII : |
| Remainder of title |
27th international workshop, Cambridge, UK, April 10-12, 2019, revised selected papers / |
| Statement of responsibility, etc. |
Jonathan Anderson, Frank Stajano, Bruce Christianson, Vashek Matyáš, editors. |
| 246 31 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Security protocols 27 |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
First edition. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham, Switzerland : |
| Name of producer, publisher, distributor, manufacturer |
Springer Nature, |
| Date of production, publication, distribution, manufacture, or copyright notice |
[2020] |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Date of production, publication, distribution, manufacture, or copyright notice |
©2020. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (ix, 313 pages) : |
| Other physical details |
illustrations, many in color. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
12287 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references at chapter ends, and author index. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Designing for humans ; |
| -- |
Transparency enhancing technologies to make security protocols work for humans / |
| Statement of responsibility |
Alexander Hicks and |
| -- |
Steven J. Murdoch ; |
| Title |
Transparency enhancing technologies to make security protocols work for humans (transcript of discussion) / |
| Statement of responsibility |
Steven J. Murdoch -- |
| Title |
Audio CAPTCHA with a few cocktails : it's so noisy I can't hear you / |
| Statement of responsibility |
Benjamin Maximilian Reinheimer, |
| -- |
Fairooz Islam, and |
| -- |
Ilia Shumailov ; |
| Title |
Audio CAPTCHA with a few cocktails : it's so noisy I can't hear you (transcript of discussion) / |
| Statement of responsibility |
Benjamin Maximilian Reinheimer, |
| -- |
Fairooz Islam, and |
| -- |
Ilia Shumailov -- |
| Title |
Understanding human ; |
| -- |
Shaping our mental model of security / |
| Statement of responsibility |
Saša Radomirović ; |
| Title |
Shaping our mental model of security (transcript of discussion) / |
| Statement of responsibility |
Saša Radomirović -- |
| Title |
Social constructionism in security protocols : a position on human experience, psychology and security / |
| Statement of responsibility |
Simon N. Foley and |
| -- |
Vivien M. Rooney ; |
| Title |
Social constructionism in security protocols (transcript of discussion) / |
| Statement of responsibility |
Simon N. Foley and |
| -- |
Vivien M. Rooney -- |
| Title |
Fresh perspectives ; |
| -- |
Bounded temporal fairness for FIFO financial markets / |
| Statement of responsibility |
Vasilios Mavroudis ; |
| Title |
Bounded temporal fairness for FIFO financial markets (transcript of discussion) / |
| Statement of responsibility |
Vasilios Mavroudis -- |
| Title |
Mismorphism : the heart of the weird machine / |
| Statement of responsibility |
Prashant Anantharaman, |
| -- |
Vijay Kothari, |
| -- |
J. Peter Brady, |
| -- |
Ira Ray Jenkins, |
| -- |
Sameed Ali, |
| -- |
Michael C. Millian, |
| -- |
Ross Koppel, |
| -- |
Jim Blythe, |
| -- |
Sergey Bratus, and |
| -- |
Sean W. Smith ; |
| Title |
Mismorphism : the heart of the weird machine (transcript of discussion) / |
| Statement of responsibility |
Prashant Anantharaman -- |
| Title |
Human limitations in security ; |
| -- |
Affordable security or big guy vs small guy : does the depth of your pockets impact your protocols? / |
| Statement of responsibility |
Daniele Friolo, |
| -- |
Fabio Massacci, |
| -- |
Chan Nam Ngo, and |
| -- |
Daniele Venturi ; |
| Title |
Affordable security or big guy vs small guy (transcript of discussion) / |
| Statement of responsibility |
Chan Nam Ngo -- |
| Title |
Human-computability boundaries / |
| Statement of responsibility |
Vijay Kothari, |
| -- |
Prashant Anantharaman, |
| -- |
Ira Ray Jenkins, |
| -- |
Michael C. Millian, |
| -- |
J. Peter Brady, |
| -- |
Sameed Ali, |
| -- |
Sergey Bratus, |
| -- |
Jim Blythe, |
| -- |
Ross Koppel, and |
| -- |
Sean W. Smith ; |
| Title |
Human-computability boundaries (transcript of discussion) / |
| Statement of responsibility |
Vijay Kothari and |
| -- |
Michael C. Millian -- |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Secure sharing and collaboration ; |
| -- |
Challenges in designing a distributed cryptographic file system / |
| Statement of responsibility |
Arastoo Bozorgi, |
| -- |
Mahya Soleimani Jadidi, and |
| -- |
Jonathan Anderson ; |
| Title |
Challenges in designing a distributed cryptographic file system (transcript of discussion) / |
| Statement of responsibility |
Arastoo Bozorgi, |
| -- |
Mahya Soleimani Jadidi, and |
| -- |
Jonathan Anderson -- |
| Title |
Is the future finally arriving? ; |
| -- |
Zero-knowledge user authentication : an old idea whose time has come / |
| Statement of responsibility |
Laurent Chuat, |
| -- |
Sarah Plocher, and |
| -- |
Adrian Perrig ; |
| Title |
Zero-knowledge user authentication : an old idea whose time has come (transcript of discussion) / |
| Statement of responsibility |
Laurent Chuat -- |
| Title |
A rest stop on the unending road to provable security / |
| Statement of responsibility |
Virgil D. Gligor ; |
| Title |
A rest stop on the unending road to provable security (transcript of discussion) / |
| Statement of responsibility |
Virgil D. Gligor -- |
| Title |
Evidence of humans behaving badly ; |
| -- |
Ghost trace on the wire? Using key evidence for informed decisions / |
| Statement of responsibility |
Diana A. Vasile, |
| -- |
Martin Kleppmann, |
| -- |
Daniel R. Thomas, and |
| -- |
Alastair R. Beresford ; |
| Title |
Ghost trace on the wire? Using key evidence for informed decisions (transcript of discussion) / |
| Statement of responsibility |
Diana A. Vasile -- |
| Title |
Warnings ; |
| -- |
Evolution of SSL/TLS indicators and warnings in web browsers / |
| Statement of responsibility |
Lydia Kraus, |
| -- |
Martin Ukrop, |
| -- |
Vashek Matyas, and |
| -- |
Tobias Fiebig ; |
| Title |
Evolution of SSL/TLS indicators and warnings in web browsers (transcript of discussion) / |
| Statement of responsibility |
Lydia Kraus -- |
| Title |
Snitches get stitches : on the difficulty of whistleblowing / |
| Statement of responsibility |
Mansoor Ahmed-Rengers, |
| -- |
Ross Anderson, |
| -- |
Darija Halatova, and |
| -- |
Ilia Shumailov ; |
| Title |
Snitches get stitches : on the difficulty of whistleblowing (transcript of discussion) / |
| Statement of responsibility |
Mansoor Ahmed-Rengers, |
| -- |
Ross Anderson, |
| -- |
Darija Halatova, and |
| -- |
Ilia Shumailov. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This volume contains the revised proceedings of the 27th International Workshop on Security Protocols, held at Trinity College, Cambridge, UK, during April 10-12, 2019. The theme of this year's workshop was "security protocols for humans." Getting protocol details right is critical in the presence of a malicious adversary, but so is understanding the context in which a protocol is deployed: protocols are components of larger systems that human beings put their trust in. How can we design protocols to expose meaningful information about state and functionality to their users? What are the consequences when we don't? How can we bridge the gap between technical definitions of protocol correctness and users' security expectations? As with previous workshops in this series, participation in the 2019 workshop was by invitation only, following submission of a position paper. The format of the workshop is intended to encourage vibrant discussions; the papers in this volume have been revised by their authors to incorporate ideas that emerged from this discussion. The discussion itself is also represented in this volume by a curated transcript that accompanies each paper. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer security |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14968 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Data protection |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15989 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer networks |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15578 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Application software |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
17746 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15264 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
User interfaces (Computer systems) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15914 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers and civilization |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
57531 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Security. |
| Authority record control number |
https://scigraph.springernature.com/ontologies/product-market-codes/I28000 |
| 9 (RLIN) |
59833 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer Communication Networks. |
| Authority record control number |
https://scigraph.springernature.com/ontologies/product-market-codes/I13022 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers and Society. |
| Authority record control number |
https://scigraph.springernature.com/ontologies/product-market-codes/I24040 |
| 9 (RLIN) |
19751 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Information Systems Applications (incl. Internet). |
| Authority record control number |
https://scigraph.springernature.com/ontologies/product-market-codes/I18040 |
| 9 (RLIN) |
7122 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
User Interfaces and Human Computer Interaction. |
| Authority record control number |
https://scigraph.springernature.com/ontologies/product-market-codes/I18067 |
| 9 (RLIN) |
7709 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software Engineering/Programming and Operating Systems. |
| Authority record control number |
https://scigraph.springernature.com/ontologies/product-market-codes/I14002 |
| 9 (RLIN) |
19749 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Sécurité informatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
17411 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Protection de l'information (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
17410 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Réseaux d'ordinateurs |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
19758 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels d'application |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
27496 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Génie logiciel |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18168 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Interfaces utilisateurs (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18113 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Ordinateurs et civilisation |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
967755 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
User interfaces (Computer systems) |
| Source of heading or term |
fast |
| 9 (RLIN) |
7703 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Source of heading or term |
fast |
| 9 (RLIN) |
14736 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Data protection |
| Source of heading or term |
fast |
| 9 (RLIN) |
15990 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers and civilization |
| Source of heading or term |
fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer networks |
| Source of heading or term |
fast |
| 9 (RLIN) |
13287 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Application software |
| Source of heading or term |
fast |
| 9 (RLIN) |
7119 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer security |
| Source of heading or term |
fast |
| 9 (RLIN) |
2191 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Anderson, Jonathan |
| Titles and other words associated with a name |
(Computer scientist), |
| Relator term |
editor. |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| -- |
https://orcid.org/0000-0002-7352-6463 |
| 9 (RLIN) |
52884 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Stajano, Frank. |
| Relator term |
editor. |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| -- |
https://orcid.org/0000-0001-9186-6798 |
| 9 (RLIN) |
22153 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Christianson, Bruce. |
| Relator term |
editor. |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| -- |
https://orcid.org/0000-0002-3777-7476 |
| 9 (RLIN) |
15318 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Matyás̆, Vashek. |
| Relator term |
editor. |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| -- |
https://orcid.org/0000-0001-7957-7694 |
| 9 (RLIN) |
52800 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Security protocols XXVII (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFww6wHxy8bcffKGYyVhDy |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 ## - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| International Standard Book Number |
3-030-57042-8 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
12287. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 4, |
| Name of part/section of a work |
Security and cryptology ; |
| Volume number/sequential designation |
12287. |
| 9 (RLIN) |
20708 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-030-57043-9">https://link.springer.com/10.1007/978-3-030-57043-9</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6313880 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
16900179 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |