First term attrition of fundamental applied skills training (FAST) students
Approved for public release; distribution is unlimited === As the number of computers and computer systems in existence has grown over the past few decades, we have come to depend on them to maintain the security of private or sensitive information. The execution of a program may cause leaks of priv...
Main Author: | |
---|---|
Other Authors: | |
Language: | en_US |
Published: |
Monterey, California. Naval Postgraduate School
2012
|
Online Access: | http://hdl.handle.net/10945/8411 |
id |
ndltd-nps.edu-oai-calhoun.nps.edu-10945-8411 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-nps.edu-oai-calhoun.nps.edu-10945-84112015-06-25T15:59:26Z First term attrition of fundamental applied skills training (FAST) students Hickox, Jeffrey W. Buttrey, Samuel E. Read, Robert R. Naval Postgraduate School Department of Operations Research Approved for public release; distribution is unlimited As the number of computers and computer systems in existence has grown over the past few decades, we have come to depend on them to maintain the security of private or sensitive information. The execution of a program may cause leaks of private or sensitive information from the computer. Static secure flow analysis is an attempt to detect these leaks prior to program execution. It is possible to analyze programs by hand, but this is often impractical for large programs. A better approach is to automate the analysis, which is what this thesis explores. We describe some previous research and give background information about secure flow analysis. A secure flow analyzer is presented. It implements a secure flow type inference algorithm, for a subset of Java 1.0.2, using a parser generator called Java Compiler Compiler (JavaCC). Semantic actions are inserted into a grammar specification to perform the secure flow analysis on a given program. 2012-08-09T19:20:41Z 2012-08-09T19:20:41Z 1998-03-01 Thesis http://hdl.handle.net/10945/8411 en_US This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, it may not be copyrighted Monterey, California. Naval Postgraduate School |
collection |
NDLTD |
language |
en_US |
sources |
NDLTD |
description |
Approved for public release; distribution is unlimited === As the number of computers and computer systems in existence has grown over the past few decades, we have come to depend on them to maintain the security of private or sensitive information. The execution of a program may cause leaks of private or sensitive information from the computer. Static secure flow analysis is an attempt to detect these leaks prior to program execution. It is possible to analyze programs by hand, but this is often impractical for large programs. A better approach is to automate the analysis, which is what this thesis explores. We describe some previous research and give background information about secure flow analysis. A secure flow analyzer is presented. It implements a secure flow type inference algorithm, for a subset of Java 1.0.2, using a parser generator called Java Compiler Compiler (JavaCC). Semantic actions are inserted into a grammar specification to perform the secure flow analysis on a given program. |
author2 |
Buttrey, Samuel E. |
author_facet |
Buttrey, Samuel E. Hickox, Jeffrey W. |
author |
Hickox, Jeffrey W. |
spellingShingle |
Hickox, Jeffrey W. First term attrition of fundamental applied skills training (FAST) students |
author_sort |
Hickox, Jeffrey W. |
title |
First term attrition of fundamental applied skills training (FAST) students |
title_short |
First term attrition of fundamental applied skills training (FAST) students |
title_full |
First term attrition of fundamental applied skills training (FAST) students |
title_fullStr |
First term attrition of fundamental applied skills training (FAST) students |
title_full_unstemmed |
First term attrition of fundamental applied skills training (FAST) students |
title_sort |
first term attrition of fundamental applied skills training (fast) students |
publisher |
Monterey, California. Naval Postgraduate School |
publishDate |
2012 |
url |
http://hdl.handle.net/10945/8411 |
work_keys_str_mv |
AT hickoxjeffreyw firsttermattritionoffundamentalappliedskillstrainingfaststudents |
_version_ |
1716806472121188352 |