Phân tích định lượng luồng tin trong bảo mật chương trình đa luồng

Abstract

Luận văn nghiên cứu về vấn đề bảo mật trong chương trình đa luồng, đồng thời xây dựng một công cụ mô phỏng tự động phân tích định lượng luồng tin của chương trình đa luồng. Công cụ này dựa vào phương pháp phân tích định lượng trong đó người tấn công sẽ lựa chọn bộ lập lịch để thực thi chương trình đa luồng, từ đó có thể suy ra được một số thông tin nhất định về dữ liệu bí mật. Phương pháp lập lịch được sử dụng để xây dựng mô hình chuyển trạng thái của chương trình đa luồng, và tính toán lượng tin rò rỉ của dữ liệu bí mật. Luận văn này mô tả thuật toán của chương trình cũng như tổng hợp kết quả của một số ví dụ để kiểm chứng độ chính xác của chương trình.