Cargando…
Formal logical methods for system security and correctness /
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam, Netherlands ; Washington, DC :
IOS Press,
©2008.
|
| Colección: | NATO science for peace and security series. Information and communication security ;
v. 14. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn506072610 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 080407s2008 ne a ob 101 0 eng d | ||
| 010 | |a 2008922610 | ||
| 040 | |a SC1 |b eng |e pn |c SC1 |d OCLCQ |d N$T |d CDX |d IOSPR |d IDEBK |d OCLCQ |d E7B |d OCLCQ |d TJC |d OCLCQ |d OCLCF |d OCLCQ |d YDXCP |d OCLCO |d OCLCQ |d OCL |d OCLCO |d OCLCQ |d AZK |d LOA |d COCUF |d AGLDB |d PIFAG |d OCLCQ |d OCLCA |d STF |d WRM |d VTS |d NRAMU |d VT2 |d AU@ |d OCLCQ |d WYU |d M8D |d UKCRE |d VLY |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 276166067 |a 491253270 |a 646750834 |a 961591088 |a 962563327 |a 966265428 |a 992080095 |a 1037763030 |a 1038659924 |a 1045511975 |a 1055317041 |a 1066432220 |a 1081199358 |a 1153461483 |a 1162199834 |a 1228607804 |a 1241763611 |a 1290100733 |a 1300477501 | ||
| 020 | |a 9781435677883 |q (electronic bk.) | ||
| 020 | |a 1435677889 |q (electronic bk.) | ||
| 020 | |a 9781607503156 | ||
| 020 | |a 1607503158 | ||
| 020 | |z 9781586038434 | ||
| 020 | |z 1586038435 | ||
| 020 | |a 6611733469 | ||
| 020 | |a 1281733466 | ||
| 020 | |a 9781281733467 | ||
| 020 | |a 9786611733469 | ||
| 020 | |a 6000004273 | ||
| 020 | |a 9786000004279 | ||
| 020 | |a 1433712334 | ||
| 020 | |a 9781433712333 | ||
| 029 | 1 | |a AU@ |b 000051364970 | |
| 029 | 1 | |a CDX |b 8796984 | |
| 029 | 1 | |a DEBBG |b BV043153452 | |
| 029 | 1 | |a DEBSZ |b 422079545 | |
| 029 | 1 | |a GBVCP |b 803055897 | |
| 029 | 1 | |a NZ1 |b 13335931 | |
| 035 | |a (OCoLC)506072610 |z (OCoLC)276166067 |z (OCoLC)491253270 |z (OCoLC)646750834 |z (OCoLC)961591088 |z (OCoLC)962563327 |z (OCoLC)966265428 |z (OCoLC)992080095 |z (OCoLC)1037763030 |z (OCoLC)1038659924 |z (OCoLC)1045511975 |z (OCoLC)1055317041 |z (OCoLC)1066432220 |z (OCoLC)1081199358 |z (OCoLC)1153461483 |z (OCoLC)1162199834 |z (OCoLC)1228607804 |z (OCoLC)1241763611 |z (OCoLC)1290100733 |z (OCoLC)1300477501 | ||
| 037 | |a 978-1-58603-843-4 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA76.9.A25 |b N3754 2007eb | |
| 072 | 7 | |a COM |x COM014000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.8 |2 22 |
| 049 | |a UAMI | ||
| 111 | 2 | |a NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness |d (2007 : |c Marktoberdorf, Germany) | |
| 245 | 1 | 0 | |a Formal logical methods for system security and correctness / |c edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller. |
| 260 | |a Amsterdam, Netherlands ; |a Washington, DC : |b IOS Press, |c ©2008. | ||
| 300 | |a 1 online resource (ix, 318 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a NATO science for peace and security series. D, Information and communication security, |x 1874-6268 ; |v v. 14 | |
| 500 | |a "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007"--Title page verso. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computer security |v Congresses. | |
| 650 | 0 | |a Computer logic |v Congresses. | |
| 650 | 6 | |a Sécurité informatique |v Congrès. | |
| 650 | 6 | |a Logique informatique |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Internet |x Security. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Networking |x Security. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Security |x General. |2 bisacsh | |
| 650 | 7 | |a Computer logic |2 fast | |
| 650 | 7 | |a Computer security |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Grumberg, Orna. | |
| 700 | 1 | |a Nipkow, Tobias, |d 1958- | |
| 700 | 1 | |a Pfaller, Christian. | |
| 776 | 0 | 8 | |i Print version: |a NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany). |t Formal logical methods for system security and correctness. |d Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2008 |z 9781586038434 |z 1586038435 |w (DLC) 2008922610 |w (OCoLC)221166019 |
| 830 | 0 | |a NATO science for peace and security series. |n Sub-series D, |p Information and communication security ; |v v. 14. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=244454 |z Texto completo |
| 938 | |a Coutts Information Services |b COUT |n 8796984 | ||
| 938 | |a ebrary |b EBRY |n ebr10231732 | ||
| 938 | |a EBSCOhost |b EBSC |n 244454 | ||
| 938 | |a YBP Library Services |b YANK |n 3207318 | ||
| 938 | |a YBP Library Services |b YANK |n 2906931 | ||
| 994 | |a 92 |b IZTAP | ||