Formal logical methods for system security and correctness [[electronic resource] /] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Formal logical methods for system security and correctness [[electronic resource] /] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller
|
| Pubblicazione: | Amsterdam, Netherlands ; ; Washington, DC, : IOS Press, c2008 |
| Descrizione fisica: | 1 online resource (332 p.) |
| Disciplina: | 005.8 |
| Soggetto topico: | Computer security |
| Computer logic | |
| Soggetto genere / forma: | Electronic books. |
| Altri autori: |
GrumbergOrna
NipkowTobias <1958->
PfallerChristian
|
| 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 |
| Author Index | |
| Sommario/riassunto: | Offers information in the field of proof technology in connection with secure and correct software. This title shows that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees. |
| Titolo autorizzato: | Formal logical methods for system security and correctness |
| ISBN: | 6611733469 |
| 1-281-73346-6 | |
| 9786611733469 | |
| 1-4356-7788-9 | |
| 1-60750-315-8 | |
| 600-00-0427-3 | |
| 1-4337-1233-4 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910453840003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
NATO security through science series. : D, . -Information and communication security ; ; v. 14.