Sogljadataj / Vladimir Nabokov

• Record Nr.: UNISA990001837910203316
• Autore: NABOKOV, Vladimir Vladimirovič
• Pubbl/distr/stampa: Ann Arbor, : Ardis, 1978
• ISBN: 0-88233-287-2; 0-88233-288-0
• Descrizione fisica: 252 p. ; 18 cm
• Disciplina: 891.7342
• Collocazione: VIII.1.A. 414(II r A 165); VIII.1.A. 414a
• Lingua di pubblicazione: Russo
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Titolo e nome dell’autore in russo, traslitterati

Verification of infinite-state systems with applications to security [[electronic resource] /] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea

• Record Nr.: UNINA9910451002003321
• Pubbl/distr/stampa: Amsterdam ; ; Washington, D.C., : IOS Press, c2006
• ISBN: 6610505101; 1-280-50510-9; 9786610505104; 1-4237-9742-6; 1-60750-147-3; 600-00-0603-9; 1-60129-127-2
• Descrizione fisica: 1 online resource (244 p.)
• Collana: NATO security through science series. D, Information and communication security ; ; vol. 1
• Altri autori (Persone): ClarkeEdmund; MineaMarius; ŢipleaFerucio Laurenţiu
• Disciplina: 005.8
• Soggetti: System theory - Mathematical models; System theory - Security measures; Computer security; Computer software - Verification; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, 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.