String Analysis for Software Verification and Security
Bultan, Tevfik ; Alkhalaf, Muath ; Yu, Fang ; Aydin, Abdulbaki 2017 Springer International Publishing
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/1150036206
- Titel
- String Analysis for Software Verification and Security
- Art des Inhalts
- Monographie
- Autor(en)
- Organisation(en)
-
- Springer International Publishing
- Auflage
- 1st edition 2017
- Verlag
- Cham : Springer International Publishing [2017]
- Jahr
- Erscheinungsdatum: 2017
- Umfang/Format
- Online-Ressourcen
- ISBN/Einband/Preis
9783319686707- DOI
- 10.1007/978-3-319-68670-7
- Online
- https://doi.org/10.1007/978-3-319-68670-7
- Sprache
- ger
- Schlagwörter
-
- 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
- Program verification
- Formal methods
- Symbolic verification
- Automated abstraction
- Automata-based strong analysis
- String constraints
- Automated code repair
- (Springer Nature Subject Collection)SUCO11645: Computer Science
- (Springer Nature Subject Code)SCI14050: Systems and Data Security
- (Springer Nature Marketing Classification)B
- (Springer Nature Subject Code)SCI14037: Programming Languages, Compilers, Interpreters
- (Springer Nature Subject Code)SCI14029: Software Engineering
- (Springer Nature Subject Code)SCI1603X: Logics and Meanings of Programs
- (Springer Nature Subject Code)SCI16048: Mathematical Logic and Formal Languages
- (Springer Nature Subject Code)SCI17052: Symbolic and Algebraic Manipulation
- Anmerkungen
- Lizenzpflichtig
- Stand
- 06.03.2025 17:09
- Im Katalog seit
- 07.03.2026