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

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.

Xem thêm