Software safety and security: tools for analysis and verification
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
IOS Press
c2012
|
| Series: | NATO science for peace and security series
v.33 |
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. 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 |
| Physical Description: | 1 Online-Ressource |
| ISBN: | 1280875909 161499028X 9781280875908 9781614990284 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043118185 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2012 |||| o||u| ||||||eng d | ||
| 020 | |a 1280875909 |9 1-280-87590-9 | ||
| 020 | |a 161499028X |c electronic bk. |9 1-61499-028-X | ||
| 020 | |a 9781280875908 |9 978-1-280-87590-8 | ||
| 020 | |a 9781614990284 |c electronic bk. |9 978-1-61499-028-4 | ||
| 035 | |a (OCoLC)796813034 | ||
| 035 | |a (DE-599)BVBBV043118185 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 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 |b IOS Press |c c2012 | |
| 300 | |a 1 Online-Ressource | ||
| 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"--T.p. verso. - International conference proceedings. - Includes indexes | ||
| 500 | |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 | |
| 650 | 4 | |a Computer security |v Congresses | |
| 650 | 0 | 7 | |a Computersicherheit |0 (DE-588)4274324-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |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 1\p |5 DE-604 | |
| 700 | 1 | |a Nipkow, Tobias |e Sonstige |4 oth | |
| 700 | 1 | |a Grumberg, Orna |e Sonstige |4 oth | |
| 700 | 1 | |a Hauptmann, Benedikt |e Sonstige |4 oth | |
| 710 | 2 | |a IOS Press (Firm) |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=463799 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028542376 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=463799 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=463799 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175544859754496 |
|---|---|
| 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 | BV043118185 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)796813034 (DE-599)BVBBV043118185 |
| 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>04169nmm a2200577zcb4500</leader><controlfield tag="001">BV043118185</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2012 |||| o||u| ||||||eng d</controlfield><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">161499028X</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-61499-028-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280875908</subfield><subfield code="9">978-1-280-87590-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614990284</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-61499-028-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)796813034</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043118185</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</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</subfield><subfield code="b">IOS Press</subfield><subfield code="c">c2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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"--T.p. verso. - International conference proceedings. - Includes indexes</subfield></datafield><datafield tag="500" ind1=" " 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></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer security</subfield><subfield code="v">Congresses</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="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="655" ind1=" " ind2="7"><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">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nipkow, Tobias</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="710" ind1="2" ind2=" "><subfield code="a">IOS Press (Firm)</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=463799</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028542376</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="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=463799</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=463799</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043118185 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:17:59Z |
| institution | BVB |
| isbn | 1280875909 161499028X 9781280875908 9781614990284 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028542376 |
| oclc_num | 796813034 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| 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 IOS Press c2012 1 Online-Ressource 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"--T.p. 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 Computersicherheit (DE-588)4274324-2 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Computersicherheit (DE-588)4274324-2 s Programmverifikation (DE-588)4135576-3 s 1\p DE-604 Nipkow, Tobias Sonstige oth Grumberg, Orna Sonstige oth Hauptmann, Benedikt Sonstige oth IOS Press (Firm) Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=463799 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Software safety and security tools for analysis and verification COMPUTERS / Software Development & Engineering / Quality Assurance & Testing bisacsh Computer security fast Computer software / Verification fast Computer software Verification Congresses Computer security Congresses Computersicherheit (DE-588)4274324-2 gnd Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4274324-2 (DE-588)4135576-3 (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 Computersicherheit (DE-588)4274324-2 gnd Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | COMPUTERS / Software Development & Engineering / Quality Assurance & Testing Computer security Computer software / Verification Computer software Verification Congresses Computer security Congresses Computersicherheit Programmverifikation Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=463799 |
| work_keys_str_mv | AT natoadvancedstudyinstituteontoolsforanalysisandverificationofsoftwaresafetyandsecurity2011bayrischzellgermany softwaresafetyandsecuritytoolsforanalysisandverification AT nipkowtobias softwaresafetyandsecuritytoolsforanalysisandverification AT grumbergorna softwaresafetyandsecuritytoolsforanalysisandverification AT hauptmannbenedikt softwaresafetyandsecuritytoolsforanalysisandverification AT iospressfirm softwaresafetyandsecuritytoolsforanalysisandverification |