A Proof System for Abstract Non-interference | UPT Perpustakaan UHAMKA