Proof-Carrying Code for Verifying Confidentiality of Mobile Code through Secure Information Flow Analysis

The growing dependence of our society and economy on networked information systems makes it essential to protect our confidential data from being leaked by malicious code. Downloading and executing code (possibly from untrusted sources) has become a daily event. Modern operating systems load code fo...

Full description

Saved in:
Bibliographic Details
Main Author: Abdu Muthana, Abdulrahman Ahmad
Format: Thesis
Language:English
English
Published: 2008
Subjects:
Online Access:http://psasir.upm.edu.my/id/eprint/5256/1/FSKTM_2008_20a.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!