Formal Model of Exploit-Resistant Systems release_rvssrs65jned3lj25l5e3w7v2a

by SEPEHR MINAGAR

Published by Monash University.

2018  

Abstract

Computer systems are part of our daily lives and security of these systems whether as part of our personal devices or services provided by a trusted third party is of utmost importance. In this thesis methods to enhance the security of computer systems are proposed and formally proven to be correct. The proposed model will prevent an adversary from executing malicious code on a target system.
In text/plain format

Archived Files and Locations

application/pdf  1.4 MB
file_yoqtglazv5g4ln24f2kfprzcpq
au-east.erc.monash.edu.au (publisher)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2018-07-08
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 7fbf0bec-0711-40e7-b5f0-3530a642972f
API URL: JSON