Show simple item record

dc.contributor.advisorVolpano, Dennis M.
dc.contributor.authorHarvey, James D.
dc.date.accessioned2012-08-09T19:23:53Z
dc.date.available2012-08-09T19:23:53Z
dc.date.issued1998-03-01
dc.identifier.urihttp://hdl.handle.net/10945/9008
dc.descriptionApproved for public release; distribution in unlimited.en_US
dc.description.abstractAs 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 programen_US
dc.description.urihttp://www.archive.org/details/staticsecureflow00harv
dc.format.extentxii, 85 p.;28 cm.en_US
dc.language.isoen_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.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.en_US
dc.titleA static secure flow analyzer for a subset of Javaen_US
dc.typeThesisen_US
dc.contributor.secondreaderRasmussen, Craig W.
dc.contributor.departmentComputer Science
dc.subject.authorSecure Flow Analysisen_US
dc.subject.authorType Inferenceen_US
dc.subject.authorProgram Certificationen_US
dc.subject.authorInformation Flowen_US
dc.subject.authorProtectionen_US
dc.description.serviceLieutenant, United States Navyen_US
etd.thesisdegree.nameM.S. in Computer Scienceen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineComputer Scienceen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record