|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910451002003321 |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Soggetti |
|
System theory - Mathematical models |
System theory - Security measures |
Computer security |
Computer software - Verification |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
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. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466851803316 |
|
|
Titolo |
Spin ice / / Masafumi Udagawa, Ludovic Jaubert, editors |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2021] |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Springer series in solid-state sciences ; ; 197 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|