A Practical Tool for Developing Trusted Applications
Irvine, Cynthia E.
MetadataShow full item record
We introduce a tool we are developing that will allow designers of trusted applications to isolate those portions of a system where an information flow policy is being violated. The tool is a language-sensitive editor that checks a program for policy violations incrementally as the program is developed. What is novel about our approach is that the checking occurs as a form of type checking.
Showing items related by title, author, creator and subject.
Agrawal, B.N. (2005);This paper presents a review of the spacecraft design program at the Naval Postgraduate School. This program is part of the space systems engineering curriculum. In this curriculum, the students take at least one course ...
Mortlock, Robert (Monterey, California. Naval Postgraduate School, 2017-07); NPS-AM-17-211This Enhanced Combat Helmet (ECH) case study encourages critical analysis of a U.S. Defense Department project at two key decision points: project start and production. The case centers on the development, testing, and ...
Klee, Charles W., Jr. (Boston, Massachusetts; Boston University, 1968-06);Over the past several years the United States Atlantic Fleet Anphib1ous Force has been faced with increasing losses of qualified enlisted men. In 1965 the Atlantic Fleet Amphibious Force had more men leaving the Navy than ...