String Analysis for Software Verification and Security /

String Analysis for Software Verification and Security /

Detalles Bibliográficos
Autores principales: Bultan, Tevfik. (Autor), Yu, Fang. (Autor), Alkhalaf, Muath. (Autor), Aydin, Abdulbaki. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Materias:
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.
LEADER 02050nam a22004215i 4500
001 000291269
005 20210915184154.0
007 cr nn 008mamaa
008 180105s2017 gw | s |||| 0|eng d
020 |a 9783319686707 
024 7 |a 10.1007/978-3-319-68670-7  |2 doi 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
100 1 |a Bultan, Tevfik.  |e author. 
245 1 0 |a String Analysis for Software Verification and Security /  |c by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin. 
250 |a 1st ed. 2017. 
260 # # |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a IX, 174 p. 74 illus., 6 illus. in color. :  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
505 0 |a 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. 
650 0 |a Computer security. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Software engineering. 
650 0 |a Computer logic. 
650 0 |a Mathematical logic. 
650 0 |a Computer science—Mathematics. 
650 1 4 |a Systems and Data Security. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Software Engineering. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Symbolic and Algebraic Manipulation. 
700 1 |a Yu, Fang.  |e author. 
700 1 |a Alkhalaf, Muath.  |e author. 
700 1 |a Aydin, Abdulbaki.  |e author. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 

Ejemplares similares