Cargando…
Software Safety and Security.
Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been somethi...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
IOS Press,
2012.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mu 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn797917368 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr unu|||||||| | ||
| 008 | 120702s2012 ne o 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d MERUC |d OCLCQ |d DEBSZ |d OCLCQ |d ZCU |d ICG |d OCLCO |d OCLCF |d OCLCQ |d DKC |d AU@ |d OCLCQ |d OCL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 9781614990284 | ||
| 020 | |a 161499028X | ||
| 029 | 1 | |a DEBBG |b BV044166583 | |
| 029 | 1 | |a DEBSZ |b 431155356 | |
| 035 | |a (OCoLC)797917368 | ||
| 050 | 4 | |a QA76.76.R44 .N384 2012 | |
| 082 | 0 | 4 | |a 005 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Nipkow, T. | |
| 245 | 1 | 0 | |a Software Safety and Security. |
| 260 | |a Amsterdam : |b IOS Press, |c 2012. | ||
| 300 | |a 1 online resource (400 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 505 | 0 | |a SOFTWARE SAFETY AND SECURITY; Preface; Contents; Mechanizing Game-Based Proofs of Security Protocols; Formal Security Proofs; Model Checking: From BDDs to Interpolation; Interactive Proof: Applications to Semantics; Advances in Probabilistic Model Checking; Getting Started with Dafny: A Guide; Lecture Notes on Software Model Checking; Boolean Satisfiability Solvers: Techniques and Extensions; Interactive Proof: Introduction to Isabelle/HOL; A Primer on Separation Logic (and Automatic Program Verification and Analysis); A Perspective on Information-Flow Control. | |
| 505 | 8 | |a Precise Program Analysis through Strategy Iteration and OptimizationSubject Index; Author Index. | |
| 520 | |a Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Computer software |x Verification |v Congresses. | |
| 650 | 0 | |a Computer security |v Congresses. | |
| 650 | 6 | |a Logiciels |x Vérification |v Congrès. | |
| 650 | 6 | |a Sécurité informatique |v Congrès. | |
| 650 | 7 | |a Computer security |2 fast | |
| 650 | 7 | |a Computer software |x Verification |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Grumberg, O. | |
| 700 | 1 | |a Hauptmann, B. | |
| 758 | |i has work: |a Software safety and security (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFDXkJgv9gyRFT8RfKrWH3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Nipkow, T. |t Software Safety and Security. |d Amsterdam : IOS Press, ©2012 |z 9781614990277 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=948331 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL948331 | ||
| 994 | |a 92 |b IZTAP | ||