Search | Science Publications

Research ArticleOpen accessPhrase in the titleProof-Carrying Code Based Tool for Secure Information Flow of Assembly ProgramsAbdulrahman Muthana, Abdul Azim Abd Ghani, Ramlan Mahmod, Hasan SelamatProblem 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 … …Journal of Computer Science, Vol. 5, Issue 2 · 28 Feb 2009 · 7,354 accessesView PDF Cite

1 result for “Proof-carrying code”