Software safety and security: tools for analysis and verification
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Washington, D.C.
IOS Press
2012
|
| Schriftenreihe: | NATO science for peace and security series
v. 33 |
| Schlagworte: | |
| Beschreibung: | "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--Title page verso. - International conference proceedings. - Includes indexes |
| Beschreibung: | 1 online resource illustrations |
| ISBN: | 9781614990284 161499028X 1280875909 9781280875908 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045349683 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 181210s2012 |||| o||u| ||||||eng d | ||
| 020 | |a 9781614990284 |9 978-1-61499-028-4 | ||
| 020 | |a 161499028X |9 1-61499-028-X | ||
| 020 | |a 1280875909 |9 1-280-87590-9 | ||
| 020 | |a 9781280875908 |9 978-1-280-87590-8 | ||
| 035 | |a (ZDB-4-ITC)ocn796813034 | ||
| 035 | |a (OCoLC)796813034 | ||
| 035 | |a (DE-599)BVBBV045349683 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 005.1/4 |2 23 | |
| 110 | 2 | |a NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security <2011, Bayrischzell, Germany> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Software safety and security |b tools for analysis and verification |c edited by Tobias Nipkow, Orna Grumberg, and Benedikt Hauptmann |
| 264 | 1 | |a Amsterdam ; Washington, D.C. |b IOS Press |c 2012 | |
| 300 | |a 1 online resource |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a NATO science for peace and security series |v v. 33 | |
| 500 | |a "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--Title page verso. - International conference proceedings. - Includes indexes | ||
| 505 | 8 | |a Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was divided into three integrated modules: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols, formal security proofs, model checking, using and building an automatic program verifier and a hands-on introduction to interactive proofs. Bringing together many leading international experts in the field, this NATO Advanced Study Institute once more proved invaluable in facilitating the connections which will influence the quality of future research and the potential to transfer research into practice. This book will be of interest to all those whose work depends on the safety and security of software systems | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / Quality Assurance & Testing |2 bisacsh | |
| 650 | 7 | |a Computer security |2 fast | |
| 650 | 7 | |a Computer software / Verification |2 fast | |
| 650 | 4 | |a Computer software |x Verification |v Congresses |a Computer security |v Congresses | |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computersicherheit |0 (DE-588)4274324-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Computersicherheit |0 (DE-588)4274324-2 |D s |
| 689 | 0 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Nipkow, Tobias |d 1958- |e Sonstige |4 oth | |
| 700 | 1 | |a Grumberg, Orna |e Sonstige |4 oth | |
| 700 | 1 | |a Hauptmann, Benedikt |e Sonstige |4 oth | |
| 912 | |a ZDB-4-ITC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030736337 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804179173778915328 |
|---|---|
| any_adam_object | |
| author_corporate | NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security <2011, Bayrischzell, Germany> |
| author_corporate_role | aut |
| author_facet | NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security <2011, Bayrischzell, Germany> |
| author_sort | NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security <2011, Bayrischzell, Germany> |
| building | Verbundindex |
| bvnumber | BV045349683 |
| collection | ZDB-4-ITC |
| contents | Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was divided into three integrated modules: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols, formal security proofs, model checking, using and building an automatic program verifier and a hands-on introduction to interactive proofs. Bringing together many leading international experts in the field, this NATO Advanced Study Institute once more proved invaluable in facilitating the connections which will influence the quality of future research and the potential to transfer research into practice. This book will be of interest to all those whose work depends on the safety and security of software systems |
| ctrlnum | (ZDB-4-ITC)ocn796813034 (OCoLC)796813034 (DE-599)BVBBV045349683 |
| dewey-full | 005.1/4 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/4 |
| dewey-search | 005.1/4 |
| dewey-sort | 15.1 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03771nmm a2200529zcb4500</leader><controlfield tag="001">BV045349683</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">181210s2012 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614990284</subfield><subfield code="9">978-1-61499-028-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">161499028X</subfield><subfield code="9">1-61499-028-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280875909</subfield><subfield code="9">1-280-87590-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280875908</subfield><subfield code="9">978-1-280-87590-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-4-ITC)ocn796813034</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)796813034</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045349683</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">23</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security <2011, Bayrischzell, Germany></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software safety and security</subfield><subfield code="b">tools for analysis and verification</subfield><subfield code="c">edited by Tobias Nipkow, Orna Grumberg, and Benedikt Hauptmann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam ; Washington, D.C.</subfield><subfield code="b">IOS Press</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">NATO science for peace and security series</subfield><subfield code="v">v. 33</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--Title page verso. - International conference proceedings. - Includes indexes</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was divided into three integrated modules: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols, formal security proofs, model checking, using and building an automatic program verifier and a hands-on introduction to interactive proofs. Bringing together many leading international experts in the field, this NATO Advanced Study Institute once more proved invaluable in facilitating the connections which will influence the quality of future research and the potential to transfer research into practice. This book will be of interest to all those whose work depends on the safety and security of software systems</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / Quality Assurance & Testing</subfield><subfield code="2">bisacsh</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">Computer software / Verification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield><subfield code="a">Computer security</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nipkow, Tobias</subfield><subfield code="d">1958-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grumberg, Orna</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hauptmann, Benedikt</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-ITC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030736337</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV045349683 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T08:15:40Z |
| institution | BVB |
| isbn | 9781614990284 161499028X 1280875909 9781280875908 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030736337 |
| oclc_num | 796813034 |
| open_access_boolean | |
| physical | 1 online resource illustrations |
| psigel | ZDB-4-ITC |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | IOS Press |
| record_format | marc |
| series2 | NATO science for peace and security series |
| spelling | NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security <2011, Bayrischzell, Germany> Verfasser aut Software safety and security tools for analysis and verification edited by Tobias Nipkow, Orna Grumberg, and Benedikt Hauptmann Amsterdam ; Washington, D.C. IOS Press 2012 1 online resource illustrations txt rdacontent c rdamedia cr rdacarrier NATO science for peace and security series v. 33 "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--Title page verso. - International conference proceedings. - Includes indexes Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was divided into three integrated modules: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols, formal security proofs, model checking, using and building an automatic program verifier and a hands-on introduction to interactive proofs. Bringing together many leading international experts in the field, this NATO Advanced Study Institute once more proved invaluable in facilitating the connections which will influence the quality of future research and the potential to transfer research into practice. This book will be of interest to all those whose work depends on the safety and security of software systems COMPUTERS / Software Development & Engineering / Quality Assurance & Testing bisacsh Computer security fast Computer software / Verification fast Computer software Verification Congresses Computer security Congresses Programmverifikation (DE-588)4135576-3 gnd rswk-swf Computersicherheit (DE-588)4274324-2 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift gnd-content Computersicherheit (DE-588)4274324-2 s Programmverifikation (DE-588)4135576-3 s 2\p DE-604 Nipkow, Tobias 1958- Sonstige oth Grumberg, Orna Sonstige oth Hauptmann, Benedikt Sonstige oth 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Software safety and security tools for analysis and verification Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was divided into three integrated modules: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols, formal security proofs, model checking, using and building an automatic program verifier and a hands-on introduction to interactive proofs. Bringing together many leading international experts in the field, this NATO Advanced Study Institute once more proved invaluable in facilitating the connections which will influence the quality of future research and the potential to transfer research into practice. This book will be of interest to all those whose work depends on the safety and security of software systems COMPUTERS / Software Development & Engineering / Quality Assurance & Testing bisacsh Computer security fast Computer software / Verification fast Computer software Verification Congresses Computer security Congresses Programmverifikation (DE-588)4135576-3 gnd Computersicherheit (DE-588)4274324-2 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4274324-2 (DE-588)1071861417 |
| title | Software safety and security tools for analysis and verification |
| title_auth | Software safety and security tools for analysis and verification |
| title_exact_search | Software safety and security tools for analysis and verification |
| title_full | Software safety and security tools for analysis and verification edited by Tobias Nipkow, Orna Grumberg, and Benedikt Hauptmann |
| title_fullStr | Software safety and security tools for analysis and verification edited by Tobias Nipkow, Orna Grumberg, and Benedikt Hauptmann |
| title_full_unstemmed | Software safety and security tools for analysis and verification edited by Tobias Nipkow, Orna Grumberg, and Benedikt Hauptmann |
| title_short | Software safety and security |
| title_sort | software safety and security tools for analysis and verification |
| title_sub | tools for analysis and verification |
| topic | COMPUTERS / Software Development & Engineering / Quality Assurance & Testing bisacsh Computer security fast Computer software / Verification fast Computer software Verification Congresses Computer security Congresses Programmverifikation (DE-588)4135576-3 gnd Computersicherheit (DE-588)4274324-2 gnd |
| topic_facet | COMPUTERS / Software Development & Engineering / Quality Assurance & Testing Computer security Computer software / Verification Computer software Verification Congresses Computer security Congresses Programmverifikation Computersicherheit Konferenzschrift |
| work_keys_str_mv | AT natoadvancedstudyinstituteontoolsforanalysisandverificationofsoftwaresafetyandsecurity2011bayrischzellgermany softwaresafetyandsecuritytoolsforanalysisandverification AT nipkowtobias softwaresafetyandsecuritytoolsforanalysisandverification AT grumbergorna softwaresafetyandsecuritytoolsforanalysisandverification AT hauptmannbenedikt softwaresafetyandsecuritytoolsforanalysisandverification |