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...
Saved in:
Main Author: | Abdu Muthana, Abdulrahman Ahmad |
---|---|
Format: | Thesis |
Language: | English English |
Published: |
2008
|
Online Access: | http://psasir.upm.edu.my/id/eprint/5256/1/FSKTM_2008_20a.pdf http://psasir.upm.edu.my/id/eprint/5256/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
A proof-producing machine-code analyzer for secure information flow
by: Muthana, Abdulrahman Ahmad Abdu, et al.
Published: (2008) -
Blockchain for record-keeping and data verifying: proof of concept
by: Ghazali, R., et al.
Published: (2021) -
Blockchain for record-keeping and data verifying: proof of concept
by: Ghazali, R., et al.
Published: (2021) -
Blockchain for record-keeping and data verifying: proof of concept
by: Ghazali, Razatulshima, et al.
Published: (2022) -
Verifying Semantic Conformance of State Machine-to-Java Code Generators
by: Rahim, Lukman Ab, et al.
Published: (2010)