Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
String Analysis for Software Verification and Security / / by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin
| String Analysis for Software Verification and Security / / by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin |
| Autore | Bultan Tevfik |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (IX, 174 p. 74 illus., 6 illus. in color.) |
| Disciplina | 005.8 |
| Soggetto topico |
Computer security
Programming languages (Electronic computers) Software engineering Computer logic Mathematical logic Computer science—Mathematics Systems and Data Security Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation |
| ISBN | 3-319-68670-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction: String Manipulating Programs and Difficulty of Their Analysis -- 2 String Manipulating Programs and Difficulty of Their Analysis -- 3 State Space Exploration -- 4 Automata Based String Analysis -- 5 Relational String Analysis -- 6 Abstraction and Approximation -- 7 Constraint-based String Analysis -- 8 Vulnerability Detection and Sanitization Synthesis -- 9 Differential String Analysis and Repair -- 10 Tools -- 11 A Brief Survey of Related Work -- 12 Conclusions. |
| Record Nr. | UNINA-9910255456803321 |
Bultan Tevfik
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
TAV-WEB 2008 : proceedings of the Workshop on Testing, Analysis and Verification of Web Software : Seattle, Washington, USA, July 21, 2008
| TAV-WEB 2008 : proceedings of the Workshop on Testing, Analysis and Verification of Web Software : Seattle, Washington, USA, July 21, 2008 |
| Autore | Bultan Tevfik |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2008 |
| Descrizione fisica | 1 online resource (49 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications |
| Record Nr. | UNINA-9910376167603321 |
|
Bultan Tevfik
|
||
| [Place of publication not identified], : ACM, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||