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
A Systems Approach to Cyber Security
Language: en
Pages: 172
Authors: A. Roychoudhury
Categories: Computers
Type: BOOK - Published: 2017-02-24 - Publisher: IOS Press

GET 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: 249
Authors: Dieter Hutter
Categories: Computers
Type: BOOK - Published: 2005-03-31 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the Second International Conference on Security in Pervasive Computing, SPC 2005, held in Boppard, Germany in
Applied Computing for Software and Smart Systems
Language: en
Pages: 232
Authors: Rituparna Chaki
Categories: Technology & Engineering
Type: BOOK - Published: 2024-01-27 - Publisher: Springer Nature

GET EBOOK

This book features a collection of high-quality research papers presented at the 10th International Symposium on Applied Computing for Software and Smart system
Smart Card Research and Advanced Applications
Language: en
Pages: 303
Authors: Gilles Grimaud
Categories: Computers
Type: BOOK - Published: 2008-08-30 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Smart Card Research and Advanced Applications, CARDIS 2008, held in London