A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf
.
Proof-Carrying Code Based Tool for Secure Information Flow of Assembly Programs
2009
Journal of Computer Science
Problem statement: How a host (the code consumer) can determine with certainty that a downloaded program received from untrusted source (the code producer) will maintain the confidentiality of the data it manipulates and it is safe to install and execute. Approach: The approach adopted for verifying that a downloaded program will not leak confidential data to unauthorized parties was based on the concept of Proof-Carrying Code (PCC). A mobile program (in its assembly form) was analyzed for
doi:10.3844/jcssp.2009.163.171
fatcat:uyjcq4aohjcl5huj2rnnlj2aoi