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: Mohr, Martin
Publisher: KIT Scientific Publishing
Total Pages: 464
Release: 2023-06-14
Genre:
ISBN: 3731512750
GET BOOK

Download Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security Book in PDF, Epub and Kindle

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
Language: en
Pages: 464

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

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
Towards Practical Information Flow Security
Language: en
Pages:

Towards Practical Information Flow Security

Authors: Peixuan Li
Categories:
Type: BOOK - Published: 2021 - Publisher:

GET EBOOK

In a world that becomes extensively connected by the internet, information is consumed and shared more than ever before. Protecting sensitive information manipu
A Systems Approach to Cyber Security
Language: en
Pages: 172

A Systems Approach to Cyber Security

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
Implementing a type system for secure information-flow. Potential security risks
Language: en
Pages: 90

Implementing a type system for secure information-flow. Potential security risks

Authors: Dominik Kropp
Categories: Computers
Type: BOOK - Published: 2020-12-14 - Publisher: GRIN Verlag

GET EBOOK

Master's Thesis from the year 2019 in the subject Computer Science - Software, grade: 77, City University London, course: Software Engineering, language: Englis
Security in Pervasive Computing
Language: en
Pages: 249

Security in Pervasive Computing

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