Author Search Results

1

Cover Image

Proof-carrying code for verifying confidentiality of mobile code through secure information flow analysis /

by Muthana, Abdulrahman Ahmad Abdu.

View full text

Thesis Book

2

Cover Image

A proof-producing machine-code analyzer for secure information flow

by Muthana, Abdulrahman Ahmad Abdu, Abd Ghani, Abdul Azim, Mahmod, Ramlan, Selamat, Mohd Hasan
Published 2008

View full text

Conference or Workshop Item