Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
Author :
Publisher : KIT Scientific Publishing
Total Pages : 464
Release :
ISBN-10 : 9783731512752
ISBN-13 : 3731512750
Rating : 4/5 (750 Downloads)

Book Synopsis Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security by : Mohr, Martin

Download or read book Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security written by Mohr, Martin and published by KIT Scientific Publishing. This book was released on 2023-06-14 with total page 464 pages. Available in PDF, EPUB and Kindle. Book excerpt: I report on applications of slicing and program dependence graphs (PDGs) to software security. Moreover, I propose a framework that generalizes both data-flow analysis on control-flow graphs and slicing on PDGs. This framework can be used to systematically derive data-flow-like analyses on PDGs that go beyond slicing. I demonstrate that data-flow analysis can be systematically applied to PDGs and show the practicability of my approach.


Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security Related Books

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
Language: en
Pages: 464
Authors: Mohr, Martin
Categories:
Type: BOOK - Published: 2023-06-14 - Publisher: KIT Scientific Publishing

GET EBOOK

I report on applications of slicing and program dependence graphs (PDGs) to software security. Moreover, I propose a framework that generalizes both data-flow a
Dependable Software Engineering. Theories, Tools, and Applications
Language: en
Pages: 358
Authors: Kim Guldstrand Larsen
Categories: Computers
Type: BOOK - Published: 2017-10-17 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, he
Software Systems Safety
Language: en
Pages: 396
Authors: O. Grumberg
Categories: Computers
Type: BOOK - Published: 2014-05-30 - Publisher: IOS Press

GET EBOOK

Until quite recently, the correctness and security of software systems was a largely theoretical problem relevant only for a small group of computer specialists
Information Security Applications
Language: en
Pages: 420
Authors: Ilsun You
Categories: Computers
Type: BOOK - Published: 2020-12-08 - Publisher: Springer Nature

GET EBOOK

This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Information Security Applications, WISA 2020, held in Jeju Isl
Effective Model-Based Systems Engineering
Language: en
Pages: 788
Authors: John M. Borky
Categories: Technology & Engineering
Type: BOOK - Published: 2018-09-08 - Publisher: Springer

GET EBOOK

This textbook presents a proven, mature Model-Based Systems Engineering (MBSE) methodology that has delivered success in a wide range of system and enterprise p