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

DOWNLOAD 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
Program Flow Analysis
Language: en
Pages: 454
Authors: Steven S. Muchnick
Categories: Computers
Type: BOOK - Published: 1981 - Publisher: Prentice Hall

DOWNLOAD EBOOK

"Presents a series of tutorial and research papers on the applications of flow analysis, as well as its methods and underlying theory." -- Preface.
A Systems Approach to Cyber Security
Language: en
Pages: 172
Authors: A. Roychoudhury
Categories: Computers
Type: BOOK - Published: 2017-02-24 - Publisher: IOS Press

DOWNLOAD EBOOK

With our ever-increasing reliance on computer technology in every field of modern life, the need for continuously evolving and improving cyber security remains
Security in Pervasive Computing
Language: en
Pages: 239
Authors: Dieter Hutter
Categories: Computers
Type: BOOK - Published: 2005-03-31 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Conference on Security in Pervasive Computing, SPC 2005, held in Boppard, Germany in
Software Systems Safety
Language: en
Pages: 396
Authors: O. Grumberg
Categories: Computers
Type: BOOK - Published: 2014-05-30 - Publisher: IOS Press

DOWNLOAD 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