NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Reducing software security risk through an integrated approachThe fourth quarter delivery, FY'01 for this RTOP is a Property-Based Testing (PBT), 'Tester's Assistant' (TA). The TA tool is to be used to check compiled and pre-compiled code for potential security weaknesses that could be exploited by hackers. The TA Instrumenter, implemented mostly in C++ (with a small part in Java), parsels two types of files: Java and TASPEC. Security properties to be checked are written in TASPEC. The Instrumenter is used in conjunction with the Tester's Assistant Specification (TASpec)execution monitor to verify the security properties of a given program.
Document ID
20060046213
Acquisition Source
Jet Propulsion Laboratory
Document Type
Preprint (Draft being sent to journal)
External Source(s)
Authors
Gilliam, D.
Powell, J.
Kelly, J.
Bishop, M.
Date Acquired
August 23, 2013
Publication Date
January 1, 2001
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Other
Keywords
software security

Available Downloads

There are no available downloads for this record.
No Preview Available