|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910785024303321 |
|
|
Titolo |
Logics and languages for reliability and security [[electronic resource] /] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C., : IOS Press, 2010 |
|
|
|
|
|
|
|
ISBN |
|
6612692677 |
1-282-69267-4 |
9786612692673 |
1-60750-100-7 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (336 p.) |
|
|
|
|
|
|
Collana |
|
NATO science for peace and security series. D, Information and communication security ; ; v. 25 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
EsparzaJavier |
SpanfelnerBernd |
GrumbergOrna |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) |
Languages, Artificial |
Computers - Reliability |
Computer security |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Title page; Preface; Contents; A Gentle Introduction to Formal Verification of Computer Systems by Abstract Interpretation; Newtonian Program Analysis -- An Introduction; Principles and Applications of Refinement Types; 2-Valued and 3-Valued Abstraction-Refinement in Model Checking; Modal Fixed Point Logics; Effective Analysis of Infinite State Stochastic Processes and Games; Multi-Valued Automata and Their Applications; Mechanized Semantics; Using Security Policies to Write Secure Software; Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata |
Implicit Flows in Malicious and Nonmalicious CodeSubject Index; Author Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Software-intensive systems are an integral part of many products. They provide great benefits regarding ease of use and allow for various applications, and also impose enormous responsibilities. This title |
|
|
|
|