{"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":43,"n_cols":5,"rows_kept":43,"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],[10,2,10,3],[11,2,11,3],[14,2,14,3],[16,2,16,3],[16,4,16,5],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[20,2,20,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[29,2,29,3],[31,2,31,3],[32,2,32,3],[35,2,35,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996418205303316"]
[null,null,"Titolo",null,"Rewriting Logic and Its Applications [[electronic resource] ] : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers / / edited by Santiago Escobar, Narciso Martí-Oliet"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020"]
[null,null,"ISBN",null,"3-030-63595-3"]
[null,null,"Edizione",null,"[1st ed. 2020.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VII, 217 p. 39 illus., 11 illus. in color.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12328"]
[null,null,"Disciplina",null,"005.1015113"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[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,"Models of rewriting and rewriting logic -- Termination, confluence, coherence, and complexity -- Unification, generalization, and narrowing -- Graph rewriting -- Tree automata -- Rewriting strategies -- Rewriting-based declarative languages -- Explicit-state and symbolic model checking techniques -- Rewriting-based theorem proving, including (co)inductive theorem proving -- Rewriting-based constraint solving and satisfiability."]
[null,null,null,"Sommario/riassunto","This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020. Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields."]
[null,"2.","Record Nr.",null,"UNINA9910974889203321"]
[null,null,"Autore",null,"Keilser Jan Just"]
[null,null,"Titolo",null,"OpenVPN 2 Cookbook : 100 simple and incredibly effective recipes for harnessing the power of the OpenVPN 2 network / / Jan Just Keilser"]
[null,null,"Pubbl/distr/stampa",null,"Birmingham, : Packt Publishing, c2011"]
[null,null,"ISBN",null,"9786613012920"]
[{"$nulls":4},"9781283012928"]
[{"$nulls":4},"1283012928"]
[{"$nulls":4},"9781849510110"]
[{"$nulls":4},"1849510113"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (356 pages)"]
[null,null,"Disciplina",null,"004.6"]
[{"$nulls":4},"004.678"]
[null,null,"Soggetti",null,"Extranets (Computer networks)"]
[{"$nulls":4},"Operating systems (Computers)"]
[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,"Cover; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Point-to-Point Networks; Introduction; Shortest setup possible; OpenVPN secret keys; Multiple secret keys; Plaintext tunnel; Routing; Configuration files versus the command-line; Complete site-to-site setup; 3-way routing; Chapter 2: Client-server IP-only Networks; Introduction; Setting up the public and private keys; Simple configuration; Server-side routing; Using client-config-dir files; Routing: subnets on both sides; Redirecting the default gateway"]
[{"$nulls":4},"Using an 'ifconfig-pool' blockUsing the status file; Management interface; Proxy-arp; Chapter 3: Client-server Ethernet-style Networks; Introduction; Simple configuration-non-bridged; Enabling client-to-client traffic; Bridging-Linux; Bridging-Windows; Checking broadcast and non-IP traffic; External DHCP server; Using the status file; Management interface; Chapter 4: PKI, Certificates, and OpenSSL; Introduction; Certificate generation; xCA: a GUI for managing a PKI (Part 1); xCA: a GUI for managing a PKI (Part 2); OpenSSL tricks: x509, pkcs12, verify output; Revoking certificates"]
[{"$nulls":4},"The use of CRLsChecking expired/revoked certificates; Intermediary CAs; Multiple CAs: stacking, using --capath; Chapter 5: Two-factor "]
[{"$nulls":4},"Authentication with PKCS#11; Introduction; Initializing a hardware token; Getting a hardware token ID; Using a hardware token; Using the management interface to list PKCS#11 certificates; Selecting a PKCS#11 certificate using the management interface; Generating a key on the hardware token; Private method for getting a PKCS#11 certificate; Pin caching example; Chapter 6: Scripting and Plugins; Introduction; Using a client-side up/down script"]
[{"$nulls":4},"Windows login greeterUsing client-connect/client-disconnect scripts; Using a 'learn-address' script; Using a 'tls-verify' script; Using an 'auth-user-pass-verify' script; Script order; Script security and logging; Using the 'down-root' plugin; Using the PAM authentication plugin; Chapter 7: Troubleshooting OpenVPN: Configurations; Introduction; Cipher mismatches; TUN versus TAP mismatches; Compression mismatches; Key mismatches; Troubleshooting MTU and tun-mtu issues; Troubleshooting network connectivity; Troubleshooting client-config-dir issues; How to read the OpenVPN log files"]
[{"$nulls":4},"Chapter 8: Troubleshooting OpenVPN: RoutingIntroduction; The missing return route; Missing return routes when 'iroute' is used; All clients function except the OpenVPN endpoints; Source routing; Routing and permissions on Windows; Troubleshooting client-to-client traffic routing; Understanding the 'MULTI: bad source' warnings; Failure when redirecting the default gateway; Chapter 9: Performance Tuning; Introduction; Optimizing performance using 'ping'; Optimizing performance using iperf; OpenSSL cipher speed; Compression tests; Traffic shaping; Tuning UDP-based connections"]
[{"$nulls":4},"Tuning TCP-based connections"]
[null,null,null,"Sommario/riassunto","100 simple and incredibly effective recipes for harnessing the power of the OpenVPN 2 network"]