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...
محفوظ في:
المؤلف الرئيسي: | Abdu Muthana, Abdulrahman Ahmad |
---|---|
التنسيق: | أطروحة |
اللغة: | English English |
منشور في: |
2008
|
الوصول للمادة أونلاين: | http://psasir.upm.edu.my/id/eprint/5256/1/FSKTM_2008_20a.pdf http://psasir.upm.edu.my/id/eprint/5256/ |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
A proof-producing machine-code analyzer for secure information flow
بواسطة: Muthana, Abdulrahman Ahmad Abdu, وآخرون
منشور في: (2008) -
Blockchain for record-keeping and data verifying: proof of concept
بواسطة: Ghazali, R., وآخرون
منشور في: (2021) -
Blockchain for record-keeping and data verifying: proof of concept
بواسطة: Ghazali, R., وآخرون
منشور في: (2021) -
Blockchain for record-keeping and data verifying: proof of concept
بواسطة: Ghazali, Razatulshima, وآخرون
منشور في: (2022) -
Verifying Semantic Conformance of State Machine-to-Java Code Generators
بواسطة: Rahim, Lukman Ab, وآخرون
منشور في: (2010)