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...
Gespeichert in:
Körperschaft: | |
---|---|
Weitere Verfasser: | , , |
Format: | Elektronisch Tagungsbericht E-Book |
Sprache: | English |
Veröffentlicht: |
Amsterdam, Netherlands :
IOS Press,
2019.
|
Schriftenreihe: | NATO science for peace and security series. Information and communication security ;
v. 53. |
Schlagworte: | |
Online-Zugang: | Volltext |
Zusammenfassung: | 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. |
Beschreibung: | 1 online resource |
Bibliographie: | Includes bibliographical references and index. |
ISBN: | 9781614999775 1614999775 |
Internformat
MARC
LEADER | 00000cam a2200000 i 4500 | ||
---|---|---|---|
001 | ZDB-4-EBA-on1120124540 | ||
003 | OCoLC | ||
005 | 20241004212047.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 |d OCLCL |d UEJ |d OCLCQ | ||
019 | |a 1120696260 |a 1120790166 | ||
020 | |a 9781614999775 |q (electronic bk.) | ||
020 | |a 1614999775 |q (electronic bk.) | ||
020 | |z 9781614999768 | ||
020 | |z 1614999767 | ||
035 | |a (OCoLC)1120124540 |z (OCoLC)1120696260 |z (OCoLC)1120790166 | ||
050 | 4 | |a QA76.9.A25 | |
082 | 7 | |a 005.8 |2 23 | |
049 | |a MAIN | ||
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. | |
650 | 0 | |a Computer security. |0 http://id.loc.gov/authorities/subjects/sh90001862 | |
650 | 0 | |a Software engineering. |0 http://id.loc.gov/authorities/subjects/sh87007398 | |
650 | 0 | |a Computer software |x Development |x Security measures. | |
650 | 0 | |a Engineering systems |x Security measures. | |
650 | 2 | |a Computer Security |0 https://id.nlm.nih.gov/mesh/D016494 | |
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. | |
758 | |i has work: |a Engineering secure and dependable software systems (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGtv9C89yXfbvbgbGQtmgq |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
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. |0 http://id.loc.gov/authorities/names/no2007140990 | |
856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2253908 |3 Volltext |
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 GEBAY | ||
912 | |a ZDB-4-EBA | ||
049 | |a DE-863 |
Datensatz im Suchindex
DE-BY-FWS_katkey | ZDB-4-EBA-on1120124540 |
---|---|
_version_ | 1816882501017141248 |
adam_text | |
any_adam_object | |
author2 | Pretschner, Alexander Müller, Peter Stöckle, Patrick |
author2_role | edt edt edt |
author2_variant | a p ap p m pm p s ps |
author_corporate | NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems Marktoberdorf, Germany |
author_corporate_role | |
author_facet | Pretschner, Alexander Müller, Peter Stöckle, Patrick NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems Marktoberdorf, Germany |
author_sort | NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems Marktoberdorf, Germany |
building | Verbundindex |
bvnumber | localFWS |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.9.A25 |
callnumber-search | QA76.9.A25 |
callnumber-sort | QA 276.9 A25 |
callnumber-subject | QA - Mathematics |
collection | ZDB-4-EBA |
contents | 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. |
ctrlnum | (OCoLC)1120124540 |
dewey-full | 005.8 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.8 |
dewey-search | 005.8 |
dewey-sort | 15.8 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Electronic Conference Proceeding eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05204cam a2200613 i 4500</leader><controlfield tag="001">ZDB-4-EBA-on1120124540</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu|||unuuu</controlfield><controlfield tag="008">190920s2019 ne ob 101 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">N$T</subfield><subfield code="d">IOSPR</subfield><subfield code="d">YDX</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AAA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">UEJ</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">1120696260</subfield><subfield code="a">1120790166</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614999775</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614999775</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781614999768</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1614999767</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1120124540</subfield><subfield code="z">(OCoLC)1120696260</subfield><subfield code="z">(OCoLC)1120790166</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.A25</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.8</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems</subfield><subfield code="d">(2018 :</subfield><subfield code="c">Marktoberdorf, Germany)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Engineering secure and dependable software systems /</subfield><subfield code="c">edited by Alexander Pretschner, Peter Müller, Patrick Stöckle.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam, Netherlands :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">2019.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">NATO science for peace and security series. D, Information and communication security ;</subfield><subfield code="v">v. 53</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">On-line resource; title from PDF title page (EBSCO, viewed September 23, 2019)</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer security.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh90001862</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh87007398</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="x">Security measures.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Engineering systems</subfield><subfield code="x">Security measures.</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Computer Security</subfield><subfield code="0">https://id.nlm.nih.gov/mesh/D016494</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Sécurité informatique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Génie logiciel.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Systèmes d'ingénierie</subfield><subfield code="x">Sécurité</subfield><subfield code="x">Mesures.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer security</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software engineering</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pretschner, Alexander,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Müller, Peter,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stöckle, Patrick,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Engineering secure and dependable software systems (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGtv9C89yXfbvbgbGQtmgq</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems (2018 : Marktoberdorf, Germany).</subfield><subfield code="t">Engineering secure and dependable software systems.</subfield><subfield code="d">Amsterdam, Netherlands : IOS Press, 2019</subfield><subfield code="z">1614999767</subfield><subfield code="z">9781614999768</subfield><subfield code="w">(OCoLC)1119763748</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">NATO science for peace and security series.</subfield><subfield code="n">Sub-series D,</subfield><subfield code="p">Information and communication security ;</subfield><subfield code="v">v. 53.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2007140990</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2253908</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL5899580</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">2253908</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">300832510</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
id | ZDB-4-EBA-on1120124540 |
illustrated | Not Illustrated |
indexdate | 2024-11-27T13:29:37Z |
institution | BVB |
isbn | 9781614999775 1614999775 |
language | English |
oclc_num | 1120124540 |
open_access_boolean | |
owner | MAIN DE-863 DE-BY-FWS |
owner_facet | MAIN DE-863 DE-BY-FWS |
physical | 1 online resource |
psigel | ZDB-4-EBA |
publishDate | 2019 |
publishDateSearch | 2019 |
publishDateSort | 2019 |
publisher | IOS Press, |
record_format | marc |
series | NATO science for peace and security series. Information and communication security ; |
series2 | NATO science for peace and security series. D, Information and communication security ; |
spelling | NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems (2018 : Marktoberdorf, Germany) Engineering secure and dependable software systems / edited by Alexander Pretschner, Peter Müller, Patrick Stöckle. Amsterdam, Netherlands : IOS Press, 2019. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier NATO science for peace and security series. D, Information and communication security ; v. 53 Includes bibliographical references and index. 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. On-line resource; title from PDF title page (EBSCO, viewed September 23, 2019) 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. Computer security. http://id.loc.gov/authorities/subjects/sh90001862 Software engineering. http://id.loc.gov/authorities/subjects/sh87007398 Computer software Development Security measures. Engineering systems Security measures. Computer Security https://id.nlm.nih.gov/mesh/D016494 Sécurité informatique. Génie logiciel. Systèmes d'ingénierie Sécurité Mesures. Computer security fast Software engineering fast Pretschner, Alexander, editor. Müller, Peter, editor. Stöckle, Patrick, editor. has work: Engineering secure and dependable software systems (Text) https://id.oclc.org/worldcat/entity/E39PCGtv9C89yXfbvbgbGQtmgq https://id.oclc.org/worldcat/ontology/hasWork Print version: NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems (2018 : Marktoberdorf, Germany). Engineering secure and dependable software systems. Amsterdam, Netherlands : IOS Press, 2019 1614999767 9781614999768 (OCoLC)1119763748 NATO science for peace and security series. Sub-series D, Information and communication security ; v. 53. http://id.loc.gov/authorities/names/no2007140990 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2253908 Volltext |
spellingShingle | Engineering secure and dependable software systems / NATO science for peace and security series. Information and communication security ; 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. Computer security. http://id.loc.gov/authorities/subjects/sh90001862 Software engineering. http://id.loc.gov/authorities/subjects/sh87007398 Computer software Development Security measures. Engineering systems Security measures. Computer Security https://id.nlm.nih.gov/mesh/D016494 Sécurité informatique. Génie logiciel. Systèmes d'ingénierie Sécurité Mesures. Computer security fast Software engineering fast |
subject_GND | http://id.loc.gov/authorities/subjects/sh90001862 http://id.loc.gov/authorities/subjects/sh87007398 https://id.nlm.nih.gov/mesh/D016494 |
title | Engineering secure and dependable software systems / |
title_auth | Engineering secure and dependable software systems / |
title_exact_search | Engineering secure and dependable software systems / |
title_full | Engineering secure and dependable software systems / edited by Alexander Pretschner, Peter Müller, Patrick Stöckle. |
title_fullStr | Engineering secure and dependable software systems / edited by Alexander Pretschner, Peter Müller, Patrick Stöckle. |
title_full_unstemmed | Engineering secure and dependable software systems / edited by Alexander Pretschner, Peter Müller, Patrick Stöckle. |
title_short | Engineering secure and dependable software systems / |
title_sort | engineering secure and dependable software systems |
topic | Computer security. http://id.loc.gov/authorities/subjects/sh90001862 Software engineering. http://id.loc.gov/authorities/subjects/sh87007398 Computer software Development Security measures. Engineering systems Security measures. Computer Security https://id.nlm.nih.gov/mesh/D016494 Sécurité informatique. Génie logiciel. Systèmes d'ingénierie Sécurité Mesures. Computer security fast Software engineering fast |
topic_facet | Computer security. Software engineering. Computer software Development Security measures. Engineering systems Security measures. Computer Security Sécurité informatique. Génie logiciel. Systèmes d'ingénierie Sécurité Mesures. Computer security Software engineering |
url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2253908 |
work_keys_str_mv | AT natoadvancedstudyinstituteonengineeringsecureanddependablesoftwaresystemsmarktoberdorfgermany engineeringsecureanddependablesoftwaresystems AT pretschneralexander engineeringsecureanddependablesoftwaresystems AT mullerpeter engineeringsecureanddependablesoftwaresystems AT stocklepatrick engineeringsecureanddependablesoftwaresystems |