Cargando…
Software systems safety /
Until quite recently, the correctness and security of software systems was a largely theoretical problem relevant only for a small group of computer specialists. Today it is a fundamental problem for society at large, with security breaches in banking software, malware attacks and bugs in programs a...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores Corporativos: | , , |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
IOS Press,
2014.
|
| Colección: | NATO science for peace and security series. Information and communication security ;
v. 36. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ii 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn908030528 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 150427s2014 ne ob 101 0 eng d | ||
| 010 | |a 2014936390 | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d N$T |d IOSPR |d IDEBK |d CDX |d E7B |d YDXCP |d EBLCP |d OCLCO |d DEBSZ |d COCUF |d AGLDB |d CCO |d PIFBY |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d JBG |d U3W |d OCLCA |d STF |d OCLCF |d VTS |d ICG |d INT |d VT2 |d AU@ |d OCLCQ |d WYU |d TKN |d OCLCQ |d DKC |d OCLCQ |d K6U |d OCLCO |d QGK |d OCLCQ |d OCLCO | ||
| 016 | 7 | |a 016859614 |2 Uk | |
| 019 | |a 923713928 |a 961564387 |a 962659466 |a 1055404669 |a 1066419533 |a 1081200606 |a 1228595460 |a 1259178496 | ||
| 020 | |a 9781614993858 |q (electronic bk.) | ||
| 020 | |a 1614993858 |q (electronic bk.) | ||
| 020 | |a 161499384X | ||
| 020 | |a 9781614993841 | ||
| 020 | |z 9781614993841 | ||
| 029 | 1 | |a CHBIS |b 010448310 | |
| 029 | 1 | |a CHVBK |b 334411300 | |
| 029 | 1 | |a DEBBG |b BV043784564 | |
| 029 | 1 | |a DEBBG |b BV044074319 | |
| 029 | 1 | |a DEBSZ |b 472867008 | |
| 035 | |a (OCoLC)908030528 |z (OCoLC)923713928 |z (OCoLC)961564387 |z (OCoLC)962659466 |z (OCoLC)1055404669 |z (OCoLC)1066419533 |z (OCoLC)1081200606 |z (OCoLC)1228595460 |z (OCoLC)1259178496 | ||
| 050 | 4 | |a QA76.76.S95 | |
| 072 | 7 | |a COM |x 053000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.8 |2 23 |
| 049 | |a UAMI | ||
| 111 | 2 | |a NATO Advanced Study Institute on Software Systems Safety |d (2013 : |c Marktoberdorf, Germany) | |
| 245 | 1 | 0 | |a Software systems safety / |c edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck. |
| 264 | 1 | |a Amsterdam : |b IOS Press, |c 2014. | |
| 300 | |a 1 online resource | ||
| 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 1879-8292 ; |v vol. 36 | |
| 588 | 0 | |a Online resource; title from PDF title page (Ebsco, viewed April 28, 2015). | |
| 500 | |a "This publication is supported by NATO Science for Peace and Security Programme"--Cover. | ||
| 500 | |a "Published in cooperation with NATO Emerging Security Challenges Division." | ||
| 500 | |a "Proceedings of the NATO Advanced Study Institute on Software Systems Safety, Marktoberdorf, Germany, 30 July-11 August 2013." | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 505 | 0 | |a ""SOFTWARE SYSTEMS SAFETY""; ""Preface""; ""Contents""; ""May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification""; ""SAT-based Model Checking: Interpolation, IC3, and Beyond""; ""Program Synthesis""; ""Applications of Interactive Proof to Data Flow Analysis and Security""; ""E-Voting Systems""; ""Probabilistic Model Checking for Biology""; ""Foundations of Infinite-State Verification""; ""Boolean Satisfiability: Solvers and Extensions""; ""Programming in Paragon""; ""Frameworks for Interprocedural Analysis of Concurrent Programs"" | |
| 505 | 8 | |a ""Practical Software Synthesis""""Subject Index""; ""Author Index"" | |
| 520 | |a Until quite recently, the correctness and security of software systems was a largely theoretical problem relevant only for a small group of computer specialists. Today it is a fundamental problem for society at large, with security breaches in banking software, malware attacks and bugs in programs affecting millions of people and making the headlines almost daily. The computer science community is developing verification and synthesis tools which will mechanize ever more tasks in the design of secure programs. This book presents the papers delivered at the NATO Advanced Study Institute (ASI) S. | ||
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Systems software |x Safety measures |v Congresses. | |
| 650 | 0 | |a Computer security |v Congresses. | |
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 6 | |a Logiciels de base |x Sécurité |x Mesures |v Congrès. | |
| 650 | 6 | |a Sécurité informatique |v Congrès. | |
| 650 | 6 | |a Génie logiciel |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Security |x General. |2 bisacsh | |
| 650 | 7 | |a Computer security |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 650 | 7 | |a Engineering & Applied Sciences. |2 hilcc | |
| 650 | 7 | |a Computer Science. |2 hilcc | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Grumberg, Orna, |e editor. | |
| 700 | 1 | |a Seidl, Helmut |c (Computer scientist), |e editor. | |
| 700 | 1 | |a Irlbeck, Maximilian, |e editor. | |
| 710 | 2 | |a NATO Science for Peace and Security Programme. | |
| 710 | 2 | |a NATO Emerging Security Challenges Division. | |
| 776 | 0 | 8 | |i Print version: |a Grumberg, O. |t Software Systems Safety. |d Burke : IOS Press, ©2014 |z 9781614993841 |
| 830 | 0 | |a NATO science for peace and security series. |n Sub-series D, |p Information and communication security ; |v v. 36. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=984688 |z Texto completo |
| 938 | |a Coutts Information Services |b COUT |n 28841427 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL2033821 | ||
| 938 | |a ebrary |b EBRY |n ebr11048359 | ||
| 938 | |a EBSCOhost |b EBSC |n 984688 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis28841427 | ||
| 938 | |a YBP Library Services |b YANK |n 12409897 | ||
| 994 | |a 92 |b IZTAP | ||