Cargando…
Dependable software systems engineering /
In the last few years we have all become daily users of Internet banking, social networks and cloud services. Preventing malfunctions in these services and protecting the integrity of private data from cyber attack are both current preoccupations of society at large. While modern technologies have d...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam, Netherlands :
IOS Press,
2016.
|
| Colección: | NATO science for peace and security series. Information and communication security ;
vol. 45. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn949930457 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 160519s2016 ne ob 101 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d IDEBK |d IOSPR |d OCLCO |d EBLCP |d BTCTA |d OCLCF |d OCLCO |d YDXCP |d N$T |d OCLCO |d DEBSZ |d CCO |d COCUF |d LOA |d K6U |d STF |d AGLDB |d ICA |d PIFAG |d FVL |d OCLCQ |d MERUC |d OCLCQ |d ZCU |d U3W |d OCLCA |d D6H |d WRM |d OCLCQ |d VTS |d EZ9 |d ICG |d VT2 |d OCLCQ |d WYU |d TKN |d DKC |d OCLCQ |d M8D |d OCLCQ |d AJS |d SFB |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 950055579 |a 951221884 |a 1055359815 |a 1066457354 |a 1081206824 |a 1228549175 |a 1259180161 | ||
| 020 | |a 9781614996279 |q (electronic bk.) | ||
| 020 | |a 161499627X |q (electronic bk.) | ||
| 020 | |a 1614996261 | ||
| 020 | |a 9781614996262 | ||
| 020 | |z 9781614996262 |q (print) | ||
| 029 | 1 | |a AU@ |b 000059804649 | |
| 029 | 1 | |a DEBSZ |b 480369291 | |
| 029 | 1 | |a DEBSZ |b 489856276 | |
| 035 | |a (OCoLC)949930457 |z (OCoLC)950055579 |z (OCoLC)951221884 |z (OCoLC)1055359815 |z (OCoLC)1066457354 |z (OCoLC)1081206824 |z (OCoLC)1228549175 |z (OCoLC)1259180161 | ||
| 050 | 4 | |a QA76.9.A25 | |
| 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 (ASI) on Verification and Synthesis of Correct and Secure Systems |d (2015 : |c Marktoberdorf, Germany) | |
| 245 | 1 | 0 | |a Dependable software systems engineering / |c edited by Javier Esparza, Orna Grumberg and Salomon Sickert. |
| 264 | 1 | |a Amsterdam, Netherlands : |b IOS Press, |c 2016. | |
| 264 | 4 | |c ©2016 | |
| 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 ; |v vol. 45 | |
| 500 | |a "Proceedings of the NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany, 4-16 August 2015." | ||
| 500 | |a Includes indexes. | ||
| 588 | 0 | |a Online resource; title from PDF title page (IOS Press, viewed May 26, 2016). | |
| 505 | 0 | |a Title Page; Preface; Contents; Probabilistic Model Checking; SMT Solvers: Foundations and Applications; Formal Models for Analyzing Security Protocols: Some Lecture Notes; Parameterized Verification of Crowds of Anonymous Processes; Synthesis of Reactive Systems; Between Testing and Verification: Dynamic Software Model Checking; Learning-Based Compositional Model Checking of Behavioral UML Systems; Programming by Examples (and Its Applications in Data Wrangling); Verification of Concurrent Software; A Tutorial on Mean-Payoff and Energy Games; Equivalence -- Combinatorics, Algebra, Proofs. | |
| 505 | 8 | |a Analysis and Synthesis with ""Big Code""Subject Index; Author Index. | |
| 504 | |a Includes bibliographical references at the end of each chapters and indexes. | ||
| 520 | |a In the last few years we have all become daily users of Internet banking, social networks and cloud services. Preventing malfunctions in these services and protecting the integrity of private data from cyber attack are both current preoccupations of society at large. While modern technologies have dramatically improved the quality of software, the computer science community continues to address the problems of security by developing a theory of formal verification; a body of methodologies, algorithms and software tools for finding and eliminating bugs and security hazards. This book presents lectures delivered at the NATO Advanced Study Institute (ASI) School Marktoberdorf 2015 - 'Verification and Synthesis of Correct and Secure Systems'. During this two-week summer school, held in Marktoberdorf, Germany, in August 2015, the lecturers provided a comprehensive view of the current state-of-the-art in a large variety of subjects, including: models and techniques for analyzing security protocols; parameterized verification; synthesis of reactive systems; software model checking; composition checking; programming by examples; verification of current software; two-player zero-sum games played on graphs; software security by information flow; equivalents - combinatorics; and analysis of synthesis with 'Big Code'. The Marktoberdorf ASIs have become a high-level scientific nucleus of the international scientific network on formal methods, and one of the major international computer science summer schools. This book will be of interest to all those seeking an overview of current theories and applications in formal verification and security. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Computer security |v Congresses. | |
| 650 | 0 | |a Computer networks |x Security measures |v Congresses. | |
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 6 | |a Sécurité informatique |v Congrès. | |
| 650 | 6 | |a Réseaux d'ordinateurs |x Sécurité |x Mesures |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 networks |x Security measures |2 fast | |
| 650 | 7 | |a Computer security |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Esparza, Javier, |e editor. | |
| 700 | 1 | |a Grumberg, Orna, |e editor. | |
| 700 | 1 | |a Sickert, Salomon, |e editor. | |
| 758 | |i has work: |a Dependable software systems engineering (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGGt8QQrHvt8vjPKM6Q4Rq |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Esparza, J. |t Dependable Software Systems Engineering. |d Fairfax : IOS Press, ©2016 |z 9781614996262 |
| 830 | 0 | |a NATO science for peace and security series. |n Sub-series D, |p Information and communication security ; |v vol. 45. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=4528955 |z Texto completo |
| 938 | |a Baker and Taylor |b BTCP |n BK0018922972 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL4528955 | ||
| 938 | |a EBSCOhost |b EBSC |n 1238935 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis34603142 | ||
| 938 | |a YBP Library Services |b YANK |n 12996592 | ||
| 994 | |a 92 |b IZTAP | ||