{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":38,"n_cols":5,"rows_kept":38,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[14,2,14,3],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[32,2,32,3],[33,2,33,3],[35,2,35,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465660103316"]
[null,null,"Titolo",null,"Security Protocols : Security protocols : 13th international workshop, Cambridge, UK, April 20-22, 2005, revised selected papers / / edited by Bruce Christianson [and three others]"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Germany : , : Springer, , [2007]"]
[{"$nulls":4},"©2007"]
[null,null,"ISBN",null,"3-540-77156-5"]
[null,null,"Edizione",null,"[1st ed. 2007.]"]
[null,null,"Descrizione fisica",null,"1 online resource (IX, 350 p.)"]
[null,null,"Collana",null,"Security and Cryptology ; ; 4631"]
[null,null,"Disciplina",null,"005.8"]
[null,null,"Soggetti",null,"Computer security"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Includes index."]
[null,null,"Nota di contenuto",null,"The System Likes You -- Experiences with Host-to-Host IPsec -- Experiences with Host-to-Host IPsec -- Repairing the Bluetooth Pairing Protocol -- Repairing the Bluetooth Pairing Protocol -- Keep on Blockin’ in the Free World: Personal Access Control for Low-Cost RFID Tags -- Keep on Blockin’ in the Free World -- PIN (and Chip) or Signature: Beating the Cheating? -- PIN (and Chip) or Signature: Beating the Cheating? -- Insecure Real-World Authentication Protocols (or Why Phishing Is So Profitable) -- Insecure Real-World Authentication Protocols (or Why Phishing Is So Profitable) -- Authorisation Subterfuge by Delegation in Decentralised Networks -- Authorisation Subterfuge by Delegation in Decentralised Networks -- Multi-channel Protocols -- Multi-channel Protocols -- Combining Crypto with Biometrics: A New Human-Security Interface -- User-Friendly Grid Security Architecture and Protocols -- User-Friendly Grid Security Architecture and Protocols -- Countering Automated Exploits with System Security CAPTCHAS -- Countering Automated Exploits with System Security CAPTCHAS -- The System Likes You? -- Enhancing Privacy with Shared Pseudo Random Sequences -- Enhancing Privacy with Shared Pseudo Random Sequences -- Non-repudiation and the Metaphysics of Presence -- Non-repudiation and the Metaphysics of Presence -- Understanding Why Some Network Protocols Are User-Unfriendly -- Understanding Why Some Network Protocols Are User-Unfriendly -- Community-Centric Vanilla-Rollback Access, or: How I Stopped Worrying and Learned to Love My Computer -- Community-Centric Vanilla-Rollback Access, or: How I Stopped Worrying and Learned to Love My Computer "]
[{"$nulls":4},"-- Listen Too Closely and You May Be Confused -- Listen Too Closely and You May Be Confused -- The Dining Freemasons (Security Protocols for Secret Societies) -- The Dining Freemasons (Security Protocols for Secret Societies) -- On the Evolution of Adversary Models in Security Protocols (or Know Your Friend and Foe Alike) -- Safer Scripting Through Precompilation -- Safer Scripting Through Precompilation -- Implementing a Multi-hat PDA -- Implementing a Multi-hat PDA -- Anonymous Context Based Role Activation Mechanism -- Anonymous Context Based Role Activation Mechanism -- Topology of Covert Conflict -- The Initial Costs and Maintenance Costs of Protocols -- The Initial Costs and Maintenance Costs of Protocols -- Alice and Bob."]
[null,null,null,"Sommario/riassunto","Welcome to the Proceedings of the 13th International Security Protocols Wo- shop. As usual, our meeting in Cambridge was just the beginning. After that, position papers were revised (often more than once) and transcripts were c- culated, discussed, and edited several times: our intention was not to produce a sterile record of who said what, but to share some promising lines of enquiry into interesting problems. Now we bring these proceedings to a wider audience so that you can join in. Our theme this time was “The systemlikes youandwants to be yourfriend.” Security is usually seen as making systems more di?cult for humans to use. Might there be advantages to looking at security in the context of more general design problems? Perhaps those investigating the general properties of system design and those of us in the security community have more to say to each other than we thought. Our thanks to Sidney Sussex CollegeCambridgefor the use of their facilities, and to the University of Hertfordshire for lending us several of their sta?. Particular thanks to Johanna Hunt of the University of Hertfordshire for being our impresario and organizing everything, and to Lori Klimaszewska of the University of CambridgeComputing Service for transcribing the audio tapes (in which the “crash barriers” nearly prevented collisions). The Security Protocols Workshop exists because you, the audience, part- ipate. Once you have dived into these proceedings and have had some Eleatic thoughts, we expect to hear from you."]
[null,"2.","Record Nr.",null,"UNINA9910484276203321"]
[null,null,"Autore",null,"Wolf Karsten"]
[null,null,"Titolo",null,"Präzises Denken für Informatiker / / von Karsten Wolf"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017"]
[null,null,"ISBN",null,"3-662-54973-5"]
[null,null,"Edizione",null,"[1st ed. 2017.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VI, 184 S. 56 Abb.)"]
[null,null,"Disciplina",null,"005.131"]
[null,null,"Soggetti",null,"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Computer science—Mathematics"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Vorrede -- Erste Bekanntschaft -- Weitere Grundlagen -- Höhere Kunst -- Auf dem Weg zur Meisterschaft -- Wie geht es weiter?."]
[null,null,null,"Sommario/riassunto","Das Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik. Es bildet die Vorstufe für das Verständnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da  das logische Denken in der Informatik auf den gleichen Regeln und Techniken basiert wie in der Mathematik. Der Autor führt umfassend in die Aussagenlogik ein und erklärt unter anderem die Bedeutungen von logischer Äquivalenz, Implikation und Induktion für diesen Fachbereich. Darüber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium benötigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des präzisen Denkens erwerben die Studenten die Fähigkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begründen. Viele praxisnahe Aufgaben und Lösungshinweise innerhalb der Kapitel erleichtern die Überprüfung und Vertiefung des Lernstoffs. Der Autor richtet sich vornehmlich an Bachelorstudenten der ersten Semester. Sie finden in diesem Werk eine "]
[{"$nulls":4},"optimale Vorbereitung auf die Logik-Seminare ihres Informatikstudiums. Die vermittelten Kompetenzen verbessern dabei nicht nur das Verständnis im Informatik-Studium, sondern sind ebenso für das spätere Berufsleben von großer Bedeutung. Darüber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in die  Welt der Informatik und Mathematik und lernen, dass die Fähigkeit zu präzisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann. ."]