Cargando…
Engineering secure and dependable software systems /
Almost all technical systems currently either interface with or are themselves largely software systems. Software systems must not harm their environment, but are also often vulnerable to security attacks with potentially serious economic, political, and physical consequences, so a better understand...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam, Netherlands :
IOS Press,
2019.
|
| Colección: | NATO science for peace and security series. Information and communication security ;
v. 53. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_on1120124540 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 190920s2019 ne ob 101 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d N$T |d IOSPR |d YDX |d EBLCP |d OCLCF |d OCLCQ |d MERUC |d OCLCQ |d K6U |d OCLCO |d OCLCQ |d OCLCO |d AAA |d OCLCQ |d OCLCO | ||
| 019 | |a 1120696260 |a 1120790166 | ||
| 020 | |a 9781614999775 |q (electronic bk.) | ||
| 020 | |a 1614999775 |q (electronic bk.) | ||
| 020 | |z 9781614999768 | ||
| 020 | |z 1614999767 | ||
| 029 | 1 | |a AU@ |b 000068481070 | |
| 029 | 1 | |a AU@ |b 000068475729 | |
| 035 | |a (OCoLC)1120124540 |z (OCoLC)1120696260 |z (OCoLC)1120790166 | ||
| 050 | 4 | |a QA76.9.A25 | |
| 082 | 0 | 4 | |a 005.8 |2 23 |
| 049 | |a UAMI | ||
| 111 | 2 | |a NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems |d (2018 : |c Marktoberdorf, Germany) | |
| 245 | 1 | 0 | |a Engineering secure and dependable software systems / |c edited by Alexander Pretschner, Peter Müller, Patrick Stöckle. |
| 264 | 1 | |a Amsterdam, Netherlands : |b IOS Press, |c 2019. | |
| 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 v. 53 | |
| 504 | |a Includes bibliographical references and index. | ||
| 520 | |a Almost all technical systems currently either interface with or are themselves largely software systems. Software systems must not harm their environment, but are also often vulnerable to security attacks with potentially serious economic, political, and physical consequences, so a better understanding of security and safety and improving the quality of complex software systems are crucial challenges for the functioning of society. This book presents lectures from the 2018 Marktoberdorf summer school Engineering Secure and Dependable Software Systems, an Advanced Study Institute of the NATO Science for Peace and Security Programme. The lectures give an overview of the state of the art in the construction and analysis of safe and secure systems. Starting from the logical and semantic foundations that enable reasoning about classical software systems, they extend to the development and verification of cyber-physical systems, which combine computational and physical components and have become pervasive in aerospace, automotive, industry automation, and consumer appliances. Safety and security have traditionally been considered separate topics, but several lectures in this summer school emphasize their commonalities and present analysis and construction techniques that apply to both. The book will be of interest to all those working in the field of software systems, and cyber-physical systems in particular. | ||
| 588 | 0 | |a On-line resource; title from PDF title page (EBSCO, viewed September 23, 2019) | |
| 505 | 0 | |a Formal Methods and Tool-Suites for CPS Security, Safety and Verification -- A Formal Introduction to Abstract Interpretation -- SAT and SMT Solvers: A Foundational Perspective -- Programming by Examples: PL Meets ML -- Automatic Program Verification with SEAHORN -- Using Epistemic Logic to Analyze Protocols -- Abstraction-Based Control Design. Lecture Notes -- The Thousand-and-One Cryptographers -- Maude-NPA and Formal Analysis of Protocols with Equational Theories -- Building Deductive Program Verifiers. Lecture Notes -- Clocks in Kahn Process Networks -- Efficient Checking of Actual Causality with SAT Solving. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computer security. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Computer software |x Development |x Security measures. | |
| 650 | 0 | |a Engineering systems |x Security measures. | |
| 650 | 2 | |a Computer Security | |
| 650 | 6 | |a Sécurité informatique. | |
| 650 | 6 | |a Génie logiciel. | |
| 650 | 6 | |a Systèmes d'ingénierie |x Sécurité |x Mesures. | |
| 650 | 7 | |a Computer security |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 700 | 1 | |a Pretschner, Alexander, |e editor. | |
| 700 | 1 | |a Müller, Peter, |e editor. | |
| 700 | 1 | |a Stöckle, Patrick, |e editor. | |
| 776 | 0 | 8 | |i Print version: |a NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems (2018 : Marktoberdorf, Germany). |t Engineering secure and dependable software systems. |d Amsterdam, Netherlands : IOS Press, 2019 |z 1614999767 |z 9781614999768 |w (OCoLC)1119763748 |
| 830 | 0 | |a NATO science for peace and security series. |n Sub-series D, |p Information and communication security ; |v v. 53. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2253908 |z Texto completo |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL5899580 | ||
| 938 | |a EBSCOhost |b EBSC |n 2253908 | ||
| 938 | |a YBP Library Services |b YANK |n 300832510 | ||
| 994 | |a 92 |b IZTAP | ||