NASA Scientific and Technical Aerospace Reports

20040111687 Naval Research Lab., Washington, DC
A Snapshot View of SANE
Li, Margery Y.; Ichashnobish, Arnitabh; Froscher, Judith N.; Jun. 11, 2004; 21 pp.; In English; Original contains color
illustrations
Contract(s)/Grant(s): Proj-55-8089-L-4
Report No.(s): AD-A425829; NRL/MR/5540-04-8804; No Copyright; Avail: CASI; A03, Hardcopy
This paper provides a snapshot view of SANE (Security Assurance Navigation Environment). SANE is a tool for
developing an assurance argument map for a system to be certified in its operational environment. This paper briefly discusses
the underlying methodology and concepts behind assurance argument maps. Next, it presents SANE’s features and capabilities
in greater detail. A tutorial on using SANE and future enhancements are presented in the last two sections of the paper.
DTIC
Security
20040111720 Carnegie-Mellon Univ., Pittsburgh, PA
Critical Infrastructure Protection Information Assurance Fellowship
Khosla, Pradeep K.; Ganger, Gregory R.; Apr. 2004; 8 pp.; In English
Contract(s)/Grant(s): F49620-01-1-0340; Proj-3484
Report No.(s): AD-A425889; AFRL-SR-AR-TR-04-0454; No Copyright; Avail: CASI; A02, Hardcopy
This project leveraged ongoing IA/survivability research and a critical mass of collaborators to train, mentor, and develop
three post-PhD Fellows into top-notch IA researchers/faculty. These researchers all now lead IA research efforts at Carnegie
Mellon. Dr. Chenxi Wang joined CMU as a CIPIA Fellow, and the support helped her frame and launch her research program;
she is now a research faculty at CMU. Dr. Chris Long joined CMU as a CIPIA fellow to shift his previous human-computer
interaction research experience to a new focus: security-centric design for human-computer interfaces; he currently leads two
such efforts at CMU and expects to soon take a job at the National Security Agency in this area. Dr. James Hoe became a
CIPIA Fellow to augment his computer architecture expertise with computer security knowledge to initiate new research in
hardware support for secure/trusted computing; as an Assistant Professor, he now leads research in this space. In summary,
this CIPIA Fellows project has been extremely successful at meeting its original goals.
DTIC
Protection; Security; Universities
20040112006 NASA Langley Research Center, Hampton, VA, USA
TOPS On-Line: Automating the Construction and Maintenance of HTML Pages
Jones, Kennie H.; [1994]; 7 pp.; In English; No Copyright; Avail: CASI; A02, Hardcopy
After the Technology Opportunities Showcase (TOPS), in October, 1993, Langley Research Center’s (LaRC) Information
Systems Division (ISD) accepted the challenge to preserve the investment in information assembled in the TOPS exhibits by
establishing a data base. Following the lead of several people at LaRC and others around the world, the HyperText Transport
Protocol (HTTP) server and Mosaic were the obvious tools of choice for implementation. Initially, some TOPS exhibitors
began the conventional approach of constructing HyperText Markup Language (HTML) pages of their exhibits as input to
Mosaic. Considering the number of pages to construct, a better approach was conceived that would automate the construction
of pages. This approach allowed completion of the data base construction in a shorter period of time using fewer resources
than would have been possible with the conventional approach. It also provided flexibility for the maintenance and
enhancement of the data base. Since that time, this approach has been used to automate construction of other HTML data
bases. Through these experiences, it is concluded that the most effective use of the HTTP/Mosaic technology will require
better tools and techniques for creating, maintaining and managing the HTML pages. The development and use of these tools
and techniques are the subject of this document.
Author
Document Markup Languages; Hypertext; Websites; Data Bases
20040120982 NASA Langley Research Center, Hampton, VA, USA
Design for Validation
Johnson, Sally C.; Butler, Ricky W.; [1991]; 6 pp.; In English; 10th Digital Avionics Systems Conference (DASC), 7-11 Oct.
1991, Los Angeles, CA, USA; No Copyright; Avail: CASI; A02, Hardcopy
The use of computer hardware and software in life-critical applications, such as for civil air transports, demands the use
245