|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910453840003321 |
|
|
Titolo |
Formal logical methods for system security and correctness [[electronic resource] /] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam, Netherlands ; ; Washington, DC, : IOS Press, c2008 |
|
|
|
|
|
|
|
ISBN |
|
6611733469 |
1-281-73346-6 |
9786611733469 |
1-4356-7788-9 |
1-60750-315-8 |
600-00-0427-3 |
1-4337-1233-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (332 p.) |
|
|
|
|
|
|
Collana |
|
NATO security through science series. D, Information and communication security, , 1874-6268 ; ; v. 14 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
GrumbergOrna |
NipkowTobias <1958-> |
PfallerChristian |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer security |
Computer logic |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Title page; Preface; Contents; Compilation of Certificates; Formal Foundations of Computer Security; Building a Software Model Checker; Symbolic Trajectory Evaluation (STE): Automatic Refinement and Vacuity Detection; Automated and Interactive Theorem Proving; Correctness of Effect-Based Program Transformations; Abstract and Concrete Models for Recursion; Secrecy Analysis in Protocol Composition Logic; The Engineering Challenges of Trustworthy Computing; Reflecting Quantifier Elimination for Linear Arithmetic; Content in Proofs of List Reversal; Proof Theory, Large Functions and Combinatorics |
|
|
|
|