{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"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":26,"n_cols":5,"rows_kept":26,"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],[10,2,10,3],[11,2,11,3],[12,2,12,3],[13,2,13,3],[14,2,14,3],[18,2,18,3],[19,2,19,3],[23,2,23,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910965871303321"]
[null,null,"Titolo",null,"Verification of infinite-state systems with applications to security / / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam ; ; Washington, D.C., : IOS Press, c2006"]
[null,null,"ISBN",null,"6610505101"]
[{"$nulls":4},"1-280-50510-9"]
[{"$nulls":4},"9786610505104"]
[{"$nulls":4},"1-4237-9742-6"]
[{"$nulls":4},"1-60750-147-3"]
[{"$nulls":4},"600-00-0603-9"]
[{"$nulls":4},"1-60129-127-2"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (244 p.)"]
[null,null,"Collana",null,"NATO security through science series. D, Information and communication security ; ; vol. 1"]
[null,null,"Disciplina",null,"005.8"]
[null,null,"Soggetti",null,"System theory - Mathematical models"]
[{"$nulls":4},"System theory - Security measures"]
[{"$nulls":4},"Computer security"]
[{"$nulls":4},"Computer software - Verification"]
[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","Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and author index."]
[null,null,"Nota di contenuto",null,"Title page; Preface; Committees; Contents; Number-Set Representations for Infinite-State Verification; Regular Model Checking for Programs with Dynamic Memory; Automatic Verification of Security Properties Based on Abstractions; Grand Challenge: Model Check Software; A Class of Automata for Computing Reachability Relations in Timed Systems; Practical Infinite-State Verification with Temporal Reasoning; Quantum States and Quantum Measurements; Automatic Test Generation and Monitoring of Infinite States Systems; Cryptographic Primitives Can Be Fragile"]
[{"$nulls":4},"From Temporal Logic Queries to Vacuity DetectionProbability and Time in Measuring Security; Decidability and Complexity Results for Security Protocols; Dealing with Communication for Dynamic Multithreaded Recursive Programs; Scenario Graphs Applied to Security (Extended Abstract); Author Index"]
[null,null,null,"Sommario/riassunto","Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop."]