Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

String Analysis for Software Verification and Security, Tevfik Bultan; Fang Yu; Muath Alkhalaf; Abdulbaki



Варианты приобретения
Цена: 13009р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 31 мар 2025
Ориентировочная дата поставки: Апрель- начало Мая
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Tevfik Bultan; Fang Yu; Muath Alkhalaf; Abdulbaki
Название:  String Analysis for Software Verification and Security
Перевод названия: Тевфик Бультан, Фан Ю, Муат Алькхалаф: Цепочечный анализ в проверке и безопасности ПО
ISBN: 9783319686684
Издательство: Springer
Классификация:
ISBN-10: 3319686682
Обложка/Формат: Hardcover
Страницы: 190
Вес: 0.439 кг.
Дата издания: 30.01.2018
Язык: English
Издание: 1st ed. 2017
Иллюстрации: 6 illustrations, color; 68 illustrations, black and white; ix, 174 p. 74 illus., 6 illus. in color.
Размер: 234 x 156 x 13
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание:

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string analysis, string constraint solvers, relational string analysis, vulnerability detection using string analysis, string abstractions, differential string analysis, and automated sanitization synthesis using string analysis.

String manipulation is a crucial part of modern software systems; for example, it is used extensively in input validation and sanitization and in dynamic code and query generation. The goal of string-analysis techniques and this book is to determine the set of values that string expressions can take during program execution. String analysis can be used to solve many problems in modern software systems that relate to string manipulation, such as: (1) Identifying security vulnerabilities by checking if a security sensitive function can receive an input string that contains an exploit; (2) Identifying possible behaviors of a program by identifying possible values for dynamically generated code; (3) Identifying html generation errors by computing the html code generated by web applications; (4) Identifying the set of queries that are sent to back-end database by analyzing the code that generates the SQL queries; (5) Patching input validation and sanitization functions by automatically synthesizing repairs illustrated in this book.

Like many other program-analysis problems, it is not possible to solve the string analysis problem precisely (i.e., it is not possible to precisely determine the set of string values that can reach a program point). However, one can compute over- or under-approximations of possible string values. If the approximations are precise enough, they can enable developers to demonstrate existence or absence of bugs in string manipulating code. String analysis has been an active research area in the last decade, resulting in a wide variety of string-analysis techniques.

This book will primarily target researchers and professionals working in computer security, software verification, formal methods, software engineering and program analysis. Advanced level students or instructors teaching or studying courses in computer security, software verification or program analysis will find this book useful as a secondary text.




Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Автор: Lecomte
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319339508 ISBN-13(EAN): 9783319339504
Издательство: Springer
Рейтинг:
Цена: 7653 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Автор: Alessandro Fantechi; Thierry Lecomte; Alexander Ro
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319684981 ISBN-13(EAN): 9783319684987
Издательство: Springer
Рейтинг:
Цена: 8417 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. They are organized in topical sections named: communication challenges in railway systems;

Software Verification and Analysis

Автор: Janusz Laski; William Stanley
Название: Software Verification and Analysis
ISBN: 1849968292 ISBN-13(EAN): 9781849968294
Издательство: Springer
Рейтинг:
Цена: 9948 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

Tools for Practical Software Verification

Автор: Bertrand Meyer; Martin Nordio
Название: Tools for Practical Software Verification
ISBN: 3642357458 ISBN-13(EAN): 9783642357459
Издательство: Springer
Рейтинг:
Цена: 7041 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.

Hardware and Software: Verification and Testing

Автор: Valeria Bertacco; Axel Legay
Название: Hardware and Software: Verification and Testing
ISBN: 3319030760 ISBN-13(EAN): 9783319030760
Издательство: Springer
Рейтинг:
Цена: 7652 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.

Hardware and Software: Verification and Testing

Автор: Roderick Bloem; Eli Arbel
Название: Hardware and Software: Verification and Testing
ISBN: 3319490516 ISBN-13(EAN): 9783319490519
Издательство: Springer
Рейтинг:
Цена: 7653 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.

Hardware and Software: Verification and Testing

Автор: Armin Biere; Amir Nahir; Tanja Vos
Название: Hardware and Software: Verification and Testing
ISBN: 3642396100 ISBN-13(EAN): 9783642396106
Издательство: Springer
Рейтинг:
Цена: 7041 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions.

Automated Technology for Verification and Analysis

Автор: Dang Van Hung; Mizuhito Ogawa
Название: Automated Technology for Verification and Analysis
ISBN: 3319024434 ISBN-13(EAN): 9783319024431
Издательство: Springer
Рейтинг:
Цена: 7652 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Invited Papers.-Acceleration for Petri Nets.- Automated Verification and Strategy Synthesis for Probabilistic Systems.- SMT-Based Software Model Checking: Explicit Scheduler, Symbolic Threads.- Regular Papers.-Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.- Improved Upper and Lower Bounds for B]uchi Disambiguation.- Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points.- An Automatic Technique for Checking the Simulation of Timed Systems.- Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games.- Kleene Algebras and Semimodules for Energy Problems.- Looking at Mean-Payoff and Total-Payoff through Windows.- Weighted Safety.- A Framework for Ranking Vacuity Results.- Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.- Verification of a Dynamic Management Protocol for Cloud Applications.- Compact Symbolic Execution.- Multi-threaded Explicit State Space Exploration with State Reconstruction.- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata.- Integrating Policy Iterations in Abstract Interpreters.- Interpolation Properties and SAT-Based Model Checking.- Analysis of Message Passing Programs Using SMT-Solvers.- An Expressive Framework for Verifying Deadlock Freedom.- Expected Termination Time in BPA Games.- Precise Cost Analysis via Local Reasoning.- Control Flow Refinement and Symbolic Computation of Average Case Bound.- Termination and Cost Analysis of Loops with Concurrent Interleavings.- Linear Ranking for Linear Lasso Programs.- Merge and Conquer: State Merging in Parametric Timed Automata.- An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications.- Pushdown Systems with Stack Manipulation.- Robustness Analysis of String Transducers.- Tool Papers.- Manipulating LTL Formulas Using Spot 1.0.- Rabinizer 2: Small Deterministic Automata for LTL\GU.- LTL Model Checking with Neco.- Solving Parity Games on the GPU.- PyEcdar: Towards Open Source Implementation for Timed Systems.- CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains.- NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems.- CELL: A Compositional Verification Framework.- VCS: A Verifier for Component-Based Systems.- SmacC: A Retargetable Symbolic Execution Engine.- MoTraS: A Tool for Modal Transition Systems and Their Extensions.- Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs.- Short Papers.- SAT Based Verification of Network Data Planes.- A Theory for Control-Flow Graph Exploration.- The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.

Deductive Software Verification – The KeY Book

Автор: Ahrendt
Название: Deductive Software Verification – The KeY Book
ISBN: 3319498118 ISBN-13(EAN): 9783319498119
Издательство: Springer
Рейтинг:
Цена: 13776 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.

Automated Technology for Verification and Analysis

Автор: Artho
Название: Automated Technology for Verification and Analysis
ISBN: 3319465198 ISBN-13(EAN): 9783319465197
Издательство: Springer
Рейтинг:
Цена: 10102 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия