封面圖片

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:

書目詳細資料
主要作者:	Abdu Muthana, Abdulrahman Ahmad
格式:	Thesis
語言:	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, et al.
出版: (2008)

Blockchain for record-keeping and data verifying: proof of concept
由: Ghazali, R., et al.
出版: (2021)

Blockchain for record-keeping and data verifying: proof of concept
由: Ghazali, R., et al.
出版: (2021)

Blockchain for record-keeping and data verifying: proof of concept
由: Ghazali, Razatulshima, et al.
出版: (2022)

Verifying Semantic Conformance of State Machine-to-Java Code Generators
由: Rahim, Lukman Ab, et al.
出版: (2010)

Coding, cryptography, information security and OFDM
出版: (2011)

Topics in coding, cryptography and information security
出版: (2011)

Review on Confidentiality, Integrity and Availability in Information Security
由: Chai, Kar Yee
出版: (2021)

'Verify online information'
由: Jalleh, Josephine
出版: (2013)

Pre-contractual obligation to confidentiality of information in the Palestinian civil code draft and its role in maintaining economic contractual equilibrium
由: Amayreh, Osama Ismail Mohammad, et al.
出版: (2019)

Secure coding in software development
由: Zainuddin @ Zenah, Nor Harisah, et al.
出版: (2011)

Inculcating secure coding for beginners
由: A. Aziz, Normaziah, et al.
出版: (2017)

A secure, anonymous and verifiable E-Voting system
由: Ooi, Elynn
出版: (2020)

Properties and liquefaction risk on bulk cargoes carrying Gebeng, Kuantan bauxite in accordance to IMSBC code
由: Noraishah, Lamin
出版: (2018)

Secure coding in cross site scripting
由: Abdul Aziz, Normaziah, et al.
出版: (2011)

Applied information theory and coding
由: Khalifa, Othman Omran
出版: (2016)

WhiteSteg protects confidential information
由: Anon
出版: (2014)

Informed consent and confidentiality in military setting
由: Jahn Kassim, Puteri Nemie
出版: (2019)

Analysis of confidentiality algorithms in different mobile generations
由: Jassim, Khalid Fadhil, et al.
出版: (2017)

SUSTAINABLE INFRASTRUCTURE THROUGH RATIONAL CODES USING RELIABILITY AND CODE CALIBRATION
由: Sambu Potty , Narayanan, et al.
出版: (2010)

Confidentiality
由: Jahn Kassim, Puteri Nemie
出版: (2019)

Confidentiality
由: Azzahrah, Anuar
出版: (2022)

Properties and liquefaction risk on bulk cargo carrying Bukit Goh, Kuantan bauxite; in accordance with IMSBC Code
由: Muzamir, Hasan, et al.
出版: (2019)

Properties and liquefaction risk on bulk cargo carrying Bukit Goh, Kuantan bauxite; in accordance with IMSBC code
由: Muzamir, Hasan, et al.
出版: (2020)

Properties and liquefaction risk on bulk cargo carrying Bukit Goh, Kuantan bauxite accordance to IMSBC code
由: Masitah, Abdullah
出版: (2018)

Soliton coding for secured optical communication link
由: Sadegh Amiri, I., et al.
出版: (2015)

Digital watermarking scheme for QR code security
由: Tan Lei Lei, Joanna, et al.
出版: (2021)

Secure cloud storage model to preserve confidentiality and integrity
由: Brohi, Sarfraz Nawaz
出版: (2015)

Security source code analysis of applications in Android OS
由: Azam, Sami, et al.
出版: (2018)

Channel coding in mobile WiMAX
由: Saeed, Rashid Abdelhaleem, et al.
出版: (2011)

Confidentiality of company's information: Challenges for nominee director
由: Hassan, Halyani, et al.
出版: (2017)

Confidentiality of company's information: challenges for nominee directors
由: Hassan, Halyani
出版: (2015)

Confidentiality of company information: Challenges for nominee directors
由: Zuhairah Ariff, Abd Ghadas, et al.
出版: (2017)

FineCodeAnalyzer: Multi-perspective source code analysis support for software developer through fine-granular level interactive code visualization
由: Abdul Qayum, et al.
出版: (2022)

A Verifiably Secure ECC Based Authentication Scheme for Securing IoD Using FANET
由: Saeed Ullah, Jan, et al.
出版: (2022)

Toward confidential distributed medical emergency system and security service
由: Hameed, Shihab A., et al.
出版: (2010)

MARKCLOUD - Software for data confidentiality and security in cloud computing environments
由: Olanrewaju, Rashidah Funke, et al.
出版: (2014)

Patients information: confidentiality and implications from legal perspective
由: Abdul Jalil, Juriah
出版: (2003)

Convolutional coded OFDM in broadband mobile communication
由: Jarot, Sigit Puspito Wigati
出版: (2011)

Channel coding techniques in mobile communication systems
由: Khalifa, Othman Omran, et al.
出版: (2011)