String Analysis for Software Verification and Security
Produktnummer:
1828af26282b16431c972c5c2699bb65fc
| Autor: | Alkhalaf, Muath Aydin, Abdulbaki Bultan, Tevfik Yu, Fang |
|---|---|
| Themengebiete: | Automated sanitization synthesis Automated string analysis Computer security Input validation and sanitization Java Modern programming languages Modern software systems Software verification String analysis Vulnerability detection |
| Veröffentlichungsdatum: | 30.01.2018 |
| EAN: | 9783319686684 |
| Sprache: | Englisch |
| Seitenzahl: | 174 |
| Produktart: | Gebunden |
| Verlag: | Springer International Publishing |
Produktinformationen "String Analysis for Software Verification and Security"
This is the first existing book focusing on string analysisDiscusses how string analysis techniques work and how they can be applied to vulnerability detection in modern software applicationsThis book can be used as a textbook for a course on string analysis, or as a supplementary book for a course on vulnerability detection
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen