First term attrition of fundamental applied skills training (FAST) students
Hickox, Jeffrey W.
Buttrey, Samuel E.
Read, Robert R.
MetadataShow full item record
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.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Harvey, James D. (Monterey, California. Naval Postgraduate School, 1998-03-01);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 ...
United States land border security policy : the national security implications of 9/11 on the "Nation of Immigrants" and free trade in North America Butikofer, Nathan R. (Monterey, California. Naval Postgraduate School, 2003-09);The 9/11 terrorist attacks spawned heated debates about border security roles in preventing terrorism. The United States is generally known as a "nation of immigrants," welcoming those seeking economic and religious freedom. ...
Smith, Daniel J. (Monterey, California. Naval Postgraduate School, 1993-06);Electronic payment methods are rapidly changing the way in which invoices are paid, displacing the traditional paper check method Electronic payments can provide a secure, rapid, accurate, and cost effective means for ...