Verification of infinite-state systems with applications to security / / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea

• Pubblicazione: Amsterdam ; ; Washington, D.C., : IOS Press, c2006
• Edizione: 1st ed.
• Descrizione fisica: 1 online resource (244 p.)
• Disciplina: 005.8
• Soggetto topico: System theory - Mathematical models; System theory - Security measures; Computer security; Computer software - Verification
• Altri autori: ClarkeEdmund M., Jr. <1945-2020.> (Edmund Melson) MineaMarius ŢipleaFerucio Laurenţiu
• 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.
• Nota di bibliografia: Includes bibliographical references and author index.
• Nota di contenuto: 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 ; 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
• 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.
• Titolo autorizzato: Verification of infinite-state systems with applications to security
• ISBN: 6610505101; 1-280-50510-9; 9786610505104; 1-4237-9742-6; 1-60750-147-3; 600-00-0603-9; 1-60129-127-2
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910965871303321
• Lo trovi qui: Univ. Federico II
• Serie: NATO security through science series. : D, . -Information and communication security ; ; v. 1.