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
Towards Practical Information Flow Security
Language: en
Pages:
Authors: Peixuan Li
Categories:
Type: BOOK - Published: 2021 - Publisher:

DOWNLOAD 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
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
Implementing a type system for secure information-flow. Potential security risks
Language: en
Pages: 90
Authors: Dominik Kropp
Categories: Computers
Type: BOOK - Published: 2020-12-14 - Publisher: GRIN Verlag

DOWNLOAD 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
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