Cuốn sách này báo cáo về các ứng dụng cắt lát và biểu đồ phụ thuộc chương trình (PDG) vào bảo mật phần mềm. Hơn nữa, cuốn sách này đề xuất một khung tổng quát hóa cả phân tích luồng dữ liệu trên biểu đồ luồng điều khiển và cắt lát trên PDG. Khung này có thể được sử dụng để rút ra một cách có hệ thống các phân tích giống như luồng dữ liệu về PDG vượt ra ngoài việc cắt lát. Cuốn sách này chứng minh rằng phân tích luồng dữ liệu có thể được áp dụng một cách có hệ thống cho PDG và cho thấy tính khả thi.

Abstract:

This book report on applications of slicing and program dependence graphs (PDGs) to software security. Moreover, This bookpropose 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. This book demonstrate that data-flow analysis can be systematically applied to PDGs and show the practicability .

Ngôn ngữ:	En
Tác giả:	Mohr, Martin
Thông tin nhan đề:	Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
Nhà xuất bản:	KIT Scientific Publishing
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin
Bản quyền:	https://creativecommons.org/licenses/by-sa/4.0/
Nguồn gốc:	https://library.oapen.org/handle/20.500.12657/63532
Mô tả vật lý:	464p.
Năm xuất bản:	2023