DMCA
SPEE: A Secure Program Execution Environment Tool Using Static and Dynamic Code Verification
BibTeX
@MISC{_spee:a,
author = {},
title = {SPEE: A Secure Program Execution Environment Tool Using Static and Dynamic Code Verification},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract — With the growing number of successful computer attacks, especially those using the Internet and exploiting the vulnerabilities in the software and applications, software protection has become an important issue in computer security. This paper proposes a system – SPEE – for software integrity protection and authentication and presents performance results. Our system architecture utilizes key components from the compiler process and operating system features, and provides static verification before execution and code block verification at runtime thereby providing a secure program execution environment. Integrity checking is performed by means of a hashing scheme, which not only detects changes but isolates these changes in O(log N) time, where N is the number of code blocks in the executable. The SPEE tool is designed to function as part of the operating system kernel and provides a trusted computing system. I.
Keyphrases
dynamic code verification system spee secure program execution environment compiler process software protection trusted computing system integrity checking code block hashing scheme important issue software integrity protection successful computer attack spee tool system architecture static verification code block verification computer security operating system operating system kernel present performance result key component
