{"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":76,"n_cols":5,"rows_kept":76,"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],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[20,2,20,3],[21,2,21,3],[23,2,23,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[66,2,66,3],[67,2,67,3],[69,2,69,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466180903316"]
[null,null,"Titolo",null,"Foundations of Security, Protocols, and Equational Reasoning [[electronic resource] ] : Essays Dedicated to Catherine A. Meadows / / edited by Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"3-030-19052-8"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 239 p. 273 illus., 24 illus. in color.)"]
[null,null,"Collana",null,"Security and Cryptology ; ; 11565"]
[null,null,"Disciplina",null,"005.8"]
[null,null,"Soggetti",null,"Data protection"]
[{"$nulls":4},"Computer organization"]
[{"$nulls":4},"Computers and civilization"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Security"]
[{"$nulls":4},"Computer Systems Organization and Communication Networks"]
[{"$nulls":4},"Computers and Society"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Cathy Meadows: A Central Figure in Protocol Analysis -- A Long, Slow Conversation -- Key Reminiscences -- Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method -- Finding Intruder Knowledge with Cap Matching -- Robust Declassification by Incremental Typing -- JRIF: Reactive Information Flow Control for Java -- Symbolic Timed Trace Equivalence -- Symbolic Analysis of Identity-Based Protocols -- Enrich-by-Need Protocol Analysis for Diffie-Hellman -- Key Agreement via Protocols -- Privacy protocols -- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols -- Belenios: A Simple Private and Verifiable Electronic Voting System."]
[null,null,null,"Sommario/riassunto","This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019. Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has been fruitfully applied to the analysis of many protocols and protocol standards and has had an enormous influence in the field. She also developed a new temporal logic to specify protocol properties, as well as new methods for analyzing various kinds of properties beyond secrecy such as authentication and resilience under Denial of Service (DoS) attacks and has made important contributions in other areas such as wireless protocol security, intrusion detection, and the relationship between computational and symbolic approaches to cryptography. This volume contains 14 contributions authored by researchers from Europe and North America. They reflect on the long-term evolution and future prospects of research in cryptographic protocol specification and verification. ."]
[null,"2.","Record Nr.",null,"UNINA9910476896903321"]
[null,null,"Autore",null,"Wintersteiner Werner <p>Werner Wintersteiner, Alpen-Adria-Universität Klagenfurt, Österreich </p>"]
[null,null,"Titolo"]
[{"$nulls":4},"Die Welt neu denken lernen – Plädoyer für eine planetare Politik : Lehren aus Corona und anderen existentiellen Krisen / Werner Wintersteiner, Hans Karl Peterlini, Helga Kromp-Kolb"]
[null,null,"Pubbl/distr/stampa",null,"Bielefeld, : transcript Verlag, 2021"]
[null,null,"ISBN",null,"9783839456354"]
[{"$nulls":4},"3839456355"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (212 p.)"]
[null,null,"Collana",null,"Edition Politik"]
[null,null,"Classificazione",null,"MD 8250"]
[null,null,"Disciplina",null,"338.9/27"]
[null,null,"Soggetti",null,"Global Citizenship Education"]
[{"$nulls":4},"Corona"]
[{"$nulls":4},"Klimawandel"]
[{"$nulls":4},"Climate Change"]
[{"$nulls":4},"Solidarität"]
[{"$nulls":4},"Solidarity"]
[{"$nulls":4},"The Good Life"]
[{"$nulls":4},"Weltgemeinschaft"]
[{"$nulls":4},"Gutes Leben"]
[{"$nulls":4},"Anthropocene"]
[{"$nulls":4},"Anthropozän"]
[{"$nulls":4},"Globalization"]
[{"$nulls":4},"Globalisierung"]
[{"$nulls":4},"Cosmopolitanism"]
[{"$nulls":4},"Kosmopolitismus"]
[{"$nulls":4},"Great Transformation"]
[{"$nulls":4},"Große Transformation"]
[{"$nulls":4},"Society"]
[{"$nulls":4},"Gesellschaft"]
[{"$nulls":4},"Education"]
[{"$nulls":4},"Bildung"]
[{"$nulls":4},"Democracy"]
[{"$nulls":4},"Demokratie"]
[{"$nulls":4},"Sustainability"]
[{"$nulls":4},"Nachhaltigkeit"]
[{"$nulls":4},"Conflict Studies"]
[{"$nulls":4},"Konfliktforschung"]
[{"$nulls":4},"Political Science"]
[{"$nulls":4},"Politikwissenschaft"]
[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,"Frontmatter -- Inhalt -- Hans Karl Peterlini: Warum...? Und wenn ja, wie anders? -- Werner Wintersteiner: Die Welt neu denken lernen - Plädoyer für eine planetare Politik -- Ein existentieller Engelssprung -- Aus der Krise lernen -- #1 Lernen, aus Krisen zu lernen -- #2 Mene mene tekel -- #3 »Mikrokosmos der Evolution«: die Grammatik von Krisen studieren -- #4: Unser Krisenverhalten (unsere Krisenabwehr) reflektieren -- #5 Corona als Komponente einer multiplen Krise -- Politische Dilemmata -- #6: Das Politische immer wieder neu erfinden -- #7: Sicherheit versus Freiheit, Gesundheit versus Demokratie? -- #8: Unfähig und unverzichtbar? Das Dilemma des Nationalstaats -- Soziale Transformationen -- #9: Unsere ›imperiale Lebensweise‹ überwinden -- #10: Ein menschengerechtes und ökologisch verträgliches Wirtschaften -- #11: Von einer Kriegskultur zu einer Kultur des Friedens -- #12: Die Globalisierung der Solidarität erlernen -- Strategien für den »Frieden mit der Zukunft« -- #13: Die Entwicklung einer »kognitiven Demokratie« -- #14: In die »irdische Endlichkeit« zurückfinden -- #15 Das Unmögliche ist möglich: die Welt neu denken -- Post-Skriptum: Ein neues Heldentum -- Quellenverzeichnis -- Helga Kromp-Kolb: Nachwort -- Gudrun Kramer und Werner Wintersteiner: Heimatland Erde"]
[null,null,null,"Sommario/riassunto","Die Grenzen und Zwänge, auf die nationalstaatliche Politik im Kontext der Corona-Pandemie stößt, sind Ausdruck einer »multiplen Krisenkonstellation«. Sie können aber ebenso als Anstoß für lokale wie globale Richtungsentscheidungen kreativ gewendet werden. In scharfsichtigen und einfühlsamen Essays, herausgegeben von Hans Karl Peterlini, wirft Werner Wintersteiner nicht nur zentrale Fragen des Lebens und Überlebens auf, sondern zeichnet auch Entwürfe für Auswege aus den globalen Krisen. Aus der Kritik an der imperialen Lebensweise der Gegenwart entwickelt er die konkrete Utopie einer Wende hin zu Frieden, Solidarität, Gerechtigkeit und einem sanften Umgang mit der Natur: Ein Plädoyer für eine planetare Politik."]
[{"$nulls":4},"»Ein wichtiges Buch zu den großen Fragen der Zeit: Es führt vor Augen, worum es heute geht, es fordert heraus und regt zum Nachdenken an.«"]
[{"$nulls":4},"Besprochen in:https://religionsphilosophischer-salon.de, 11.07.2021, Christian Modehnhttps://www.peace-ed-campaign.org, 11.08.2021Berliner Gazette, 23.02.2022, Edward Viesel"]
[{"$nulls":4},"»Wintersteiners Buch ist all jenen Aktivist:innen zu empfehlen, die in emanzipatorischer Absicht auf vereinzelten Problemfeldern intervenieren und selbstredend auch Student:innen der Gesellschaftswissenschaften und der Philosophie und allen, die durch Soziale Arbeit mit den beschriebenen Problemen und damit, wie sie auch und fatal am Menschen wirksam werden, beschäftigt sind.«"]
[{"$nulls":4},"»Die Publikation, mit ihren vielen Hinweisen auf Literatur und Best-Practice-Beispiele unterstützt [...] im Bereich politische Bildung Lehrende und Lernende.«"]
[{"$nulls":4},"»[Die] Lektüre lohnt sich für alle, die sich über einige aktuelle, auf Veränderung drängende Diskursstränge informieren und sich von ihnen inspirieren lassen wollen. Zudem sei sie jenen empfohlen, die an einem Dialog unterschiedlicher Friedensperspektiven interessiert sind.«"]