Symbolic execution and quantitative reasoning: applications to software safety and security
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
[San Rafael, California]
Morgan & Claypool Publishers
2020
|
| Series: | Synthesis lectures of software engineering
6 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | ix, 64 Seiten Illustrationenm Diagramme |
| ISBN: | 9781681738543 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV046966739 | ||
| 003 | DE-604 | ||
| 005 | 20201211 | ||
| 007 | t | ||
| 008 | 201029s2020 a||| |||| 00||| eng d | ||
| 020 | |a 9781681738543 |9 978-1-68173-854-3 | ||
| 035 | |a (OCoLC)1220894014 | ||
| 035 | |a (DE-599)BVBBV046966739 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 100 | 1 | |a Păsăreanu, Corina S. |d ca. 20./21. Jhd. |e Verfasser |0 (DE-588)1223208109 |4 aut | |
| 245 | 1 | 0 | |a Symbolic execution and quantitative reasoning |b applications to software safety and security |
| 264 | 1 | |a [San Rafael, California] |b Morgan & Claypool Publishers |c 2020 | |
| 300 | |a ix, 64 Seiten |b Illustrationenm Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthesis lectures of software engineering |v 6 | |
| 650 | 4 | |a Software engineering | |
| 650 | 7 | |a Computer security |2 fast | |
| 650 | 7 | |a Computer software / Reliability |2 fast | |
| 650 | 7 | |a Probabilities |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Symbolische Ausführung |0 (DE-588)1180535669 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Probabilistisches Schließen |0 (DE-588)4674411-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 1 | |a Symbolische Ausführung |0 (DE-588)1180535669 |D s |
| 689 | 0 | 2 | |a Probabilistisches Schließen |0 (DE-588)4674411-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Synthesis lectures of software engineering |v 6 |w (DE-604)BV047059527 |9 6 | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032374991&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032374991 | ||
Record in the Search Index
| _version_ | 1804181889640038400 |
|---|---|
| adam_text | vii Contents Acknowl edgments ix 1 introduction 2 Symbolic Execution: Ure Basics . . . 5 2.1 Handling Looping Programs . 7 2.2 Dynamic Symbolic Execution . 9 2.3 Handling Structured Input . . 13 2.4 A Practical Application........ 17 Symbolic Complexity Analy sis . . . 21 3.1 23 з 3.2 4 5 ........ Approach................................ Example.............. .............. . 1 25 Probabilistic Reasoning ......................... .. ......................... .. 31 4.1 Example.......... .................... ............... 4.2 Software Reliability ................................. .. 32 32 4.3 Approach ......................................... .. 33 4.4 Grey Paths and Confidence ....................................... 35 4.5 Usaee Profiles ............................................................ . о 36 4.6 Reliability Analysis for the Onboard Abort Executive (OAE). !.............. ......................................................... 4.7 Model Counting for Data Structures ..................... 4.8 Example............ .. 37 37 38 Side֊Channel Analysis............................ ................................ .. 43 5.1 Example.................. 44 5.2 Quantitative Information Flow Anaiysis . ......................... 45 5.3 Shannon Entropy ...................................... 46 5.4 Example........................................................... 47
5.5 Attack Synthesis................................................................... 48 5.6 Multi -Run Side-Channel Analysis.......................... ................SO 5.7 The Effect of Multi-Threading........................ ................... 51 Conclusión and Directions for the Future.................................. 55 Bibliography ....................................... 59 Author’s Biography........................ 65
|
| adam_txt |
vii Contents Acknowl edgments ix 1 introduction 2 Symbolic Execution: 'Ure Basics . . . 5 2.1 Handling Looping Programs . 7 2.2 Dynamic Symbolic Execution . 9 2.3 Handling Structured Input . . 13 2.4 A Practical Application. 17 Symbolic Complexity Analy sis . . . 21 3.1 23 з 3.2 4 5 . Approach. Example. . . 1 25 Probabilistic Reasoning . . . . 31 4.1 Example. . . 4.2 Software Reliability . . 32 32 4.3 Approach . . 33 4.4 Grey Paths and Confidence . 35 4.5 Usaee Profiles . . о 36 4.6 Reliability Analysis for the Onboard Abort Executive (OAE). !. . 4.7 Model Counting for Data Structures . 4.8 Example. . 37 37 38 Side֊Channel Analysis. . . 43 5.1 Example. 44 5.2 Quantitative Information Flow Anaiysis . . 45 5.3 Shannon Entropy . 46 5.4 Example. 47
5.5 Attack Synthesis. 48 5.6 Multi -Run Side-Channel Analysis. .SO 5.7 The Effect of Multi-Threading. . 51 Conclusión and Directions for the Future. 55 Bibliography . 59 Author’s Biography. 65 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Păsăreanu, Corina S. ca. 20./21. Jhd |
| author_GND | (DE-588)1223208109 |
| author_facet | Păsăreanu, Corina S. ca. 20./21. Jhd |
| author_role | aut |
| author_sort | Păsăreanu, Corina S. ca. 20./21. Jhd |
| author_variant | c s p cs csp |
| building | Verbundindex |
| bvnumber | BV046966739 |
| classification_rvk | ST 233 |
| ctrlnum | (OCoLC)1220894014 (DE-599)BVBBV046966739 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01946nam a2200445 cb4500</leader><controlfield tag="001">BV046966739</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201211 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">201029s2020 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781681738543</subfield><subfield code="9">978-1-68173-854-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1220894014</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046966739</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="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Păsăreanu, Corina S.</subfield><subfield code="d">ca. 20./21. Jhd.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1223208109</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Symbolic execution and quantitative reasoning</subfield><subfield code="b">applications to software safety and security</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[San Rafael, California]</subfield><subfield code="b">Morgan & Claypool Publishers</subfield><subfield code="c">2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ix, 64 Seiten</subfield><subfield code="b">Illustrationenm Diagramme</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Synthesis lectures of software engineering</subfield><subfield code="v">6</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</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 / Reliability</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Probabilities</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="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Symbolische Ausführung</subfield><subfield code="0">(DE-588)1180535669</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Probabilistisches Schließen</subfield><subfield code="0">(DE-588)4674411-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Symbolische Ausführung</subfield><subfield code="0">(DE-588)1180535669</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Probabilistisches Schließen</subfield><subfield code="0">(DE-588)4674411-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthesis lectures of software engineering</subfield><subfield code="v">6</subfield><subfield code="w">(DE-604)BV047059527</subfield><subfield code="9">6</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032374991&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032374991</subfield></datafield></record></collection> |
| id | DE-604.BV046966739 |
| illustrated | Illustrated |
| index_date | 2024-07-03T15:45:59Z |
| indexdate | 2024-07-10T08:58:50Z |
| institution | BVB |
| isbn | 9781681738543 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032374991 |
| oclc_num | 1220894014 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | ix, 64 Seiten Illustrationenm Diagramme |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Morgan & Claypool Publishers |
| record_format | marc |
| series | Synthesis lectures of software engineering |
| series2 | Synthesis lectures of software engineering |
| spelling | Păsăreanu, Corina S. ca. 20./21. Jhd. Verfasser (DE-588)1223208109 aut Symbolic execution and quantitative reasoning applications to software safety and security [San Rafael, California] Morgan & Claypool Publishers 2020 ix, 64 Seiten Illustrationenm Diagramme txt rdacontent n rdamedia nc rdacarrier Synthesis lectures of software engineering 6 Software engineering Computer security fast Computer software / Reliability fast Probabilities fast Software engineering fast Softwaretest (DE-588)4132652-0 gnd rswk-swf Symbolische Ausführung (DE-588)1180535669 gnd rswk-swf Probabilistisches Schließen (DE-588)4674411-3 gnd rswk-swf Softwaretest (DE-588)4132652-0 s Symbolische Ausführung (DE-588)1180535669 s Probabilistisches Schließen (DE-588)4674411-3 s DE-604 Synthesis lectures of software engineering 6 (DE-604)BV047059527 6 Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032374991&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Păsăreanu, Corina S. ca. 20./21. Jhd Symbolic execution and quantitative reasoning applications to software safety and security Synthesis lectures of software engineering Software engineering Computer security fast Computer software / Reliability fast Probabilities fast Software engineering fast Softwaretest (DE-588)4132652-0 gnd Symbolische Ausführung (DE-588)1180535669 gnd Probabilistisches Schließen (DE-588)4674411-3 gnd |
| subject_GND | (DE-588)4132652-0 (DE-588)1180535669 (DE-588)4674411-3 |
| title | Symbolic execution and quantitative reasoning applications to software safety and security |
| title_auth | Symbolic execution and quantitative reasoning applications to software safety and security |
| title_exact_search | Symbolic execution and quantitative reasoning applications to software safety and security |
| title_exact_search_txtP | Symbolic execution and quantitative reasoning applications to software safety and security |
| title_full | Symbolic execution and quantitative reasoning applications to software safety and security |
| title_fullStr | Symbolic execution and quantitative reasoning applications to software safety and security |
| title_full_unstemmed | Symbolic execution and quantitative reasoning applications to software safety and security |
| title_short | Symbolic execution and quantitative reasoning |
| title_sort | symbolic execution and quantitative reasoning applications to software safety and security |
| title_sub | applications to software safety and security |
| topic | Software engineering Computer security fast Computer software / Reliability fast Probabilities fast Software engineering fast Softwaretest (DE-588)4132652-0 gnd Symbolische Ausführung (DE-588)1180535669 gnd Probabilistisches Schließen (DE-588)4674411-3 gnd |
| topic_facet | Software engineering Computer security Computer software / Reliability Probabilities Softwaretest Symbolische Ausführung Probabilistisches Schließen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032374991&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV047059527 |
| work_keys_str_mv | AT pasareanucorinas symbolicexecutionandquantitativereasoningapplicationstosoftwaresafetyandsecurity |