BibTeX
CSL-JSON
MLA
Harvard
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
Stage
Date 2018-07-08
article-journal
Stage
published
Date 2018-07-08
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Datacite Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Datacite Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar