Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Verification of infinite-state systems with applications to security [[electronic resource] /] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea
| Verification of infinite-state systems with applications to security [[electronic resource] /] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2006 |
| Descrizione fisica | 1 online resource (244 p.) |
| Disciplina | 005.8 |
| Altri autori (Persone) |
ClarkeEdmund
MineaMarius ŢipleaFerucio Laurenţiu |
| Collana | NATO security through science series. D, Information and communication security |
| Soggetto topico |
System theory - Mathematical models
System theory - Security measures Computer security Computer software - Verification |
| Soggetto genere / forma | Electronic books. |
| 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 | eng |
| 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 |
| Record Nr. | UNINA-9910451002003321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification of infinite-state systems with applications to security [[electronic resource] /] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea
| Verification of infinite-state systems with applications to security [[electronic resource] /] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2006 |
| Descrizione fisica | 1 online resource (244 p.) |
| Disciplina | 005.8 |
| Altri autori (Persone) |
ClarkeEdmund M., Jr. <1945-2020.> (Edmund Melson)
MineaMarius ŢipleaFerucio Laurenţiu |
| Collana | NATO security through science series. D, Information and communication security |
| Soggetto topico |
System theory - Mathematical models
System theory - Security measures Computer security Computer software - Verification |
| 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 | eng |
| 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 |
| Record Nr. | UNINA-9910784143903321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification of infinite-state systems with applications to security / / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea
| Verification of infinite-state systems with applications to security / / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2006 |
| Descrizione fisica | 1 online resource (244 p.) |
| Disciplina | 005.8 |
| Altri autori (Persone) |
ClarkeEdmund M., Jr. <1945-2020.> (Edmund Melson)
MineaMarius ŢipleaFerucio Laurenţiu |
| Collana | NATO security through science series. D, Information and communication security |
| Soggetto topico |
System theory - Mathematical models
System theory - Security measures Computer security Computer software - Verification |
| 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 | eng |
| 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 |
| Record Nr. | UNINA-9910965871303321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
