Please use this identifier to cite or link to this item: https://ptsldigital.ukm.my/jspui/handle/123456789/394854
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAbdulrahman Muthana-
dc.contributor.authorAbdul Azim Abd Ghani-
dc.contributor.authorRamlan Mahmod-
dc.contributor.authorHasan Selamat-
dc.date.accessioned2023-06-15T07:51:14Z-
dc.date.available2023-06-15T07:51:14Z-
dc.identifier.otherukmvital:121242-
dc.identifier.urihttps://ptsldigital.ukm.my/jspui/handle/123456789/394854-
dc.description.abstractAn approach enabling end-users to verify that a downloaded untrusted code will not leak confidential data to unauthorized parties is presented. The approach certifies RISC-style assembly programs for secure information flow by statically analyzing the code based on the idea of Proof Carrying Code (PCC). The proofs that untrusted code does not leak sensitive information are generated and checked on the host machine and if they are valid, then the untrusted code can be installed and executed safely. The proposed security analyzer operates directly on the machine-code requiring only the inputs and outputs of the code be annotated with security levels. The generated proofs serve as evidence that give end-users a guarantee about the security of the untrusted code.-
dc.language.isoeng-
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE),Piscataway, US-
dc.subjectMachine-code analyzer-
dc.titleA proof-producing machine-code analyzer for secure information flow-
dc.typeSeminar Papers-
dc.format.pages7-
dc.identifier.callnoT58.5.C634 2008 kat sem-
dc.contributor.conferencenameInternational Symposium on Information Technology-
dc.coverage.conferencelocationKuala Lumpur Convention Centre-
dc.date.conferencedate26/08/2008-
Appears in Collections:Seminar Papers/ Proceedings / Kertas Kerja Seminar/ Prosiding

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.