Computing Legacy Software Behavior to Understand Functionality and Security Properties: An IBM/370 Demonstration
- ORNL
- MITRE Corporation
Organizations maintaining mainframe legacy software can benefit from code modernization and incorporation of security capabilities to address the current threat environment. Oak Ridge National Laboratory is developing the Hyperion system to compute the behavior of software as a means to gain understanding of software functionality and security properties. Computation of functionality is critical to revealing security attributes, which are in fact specialized functional behaviors of software. Oak Ridge is collaborating with MITRE Corporation to conduct a demonstration project to compute behavior of legacy IBM Assembly Language code for a federal agency. The ultimate goal is to understand functionality and security vulnerabilities as a basis for code modernization. This paper reports on the first phase, to define functional semantics for IBM Assembly instructions and conduct behavior computation experiments.
- Research Organization:
- Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States)
- Sponsoring Organization:
- Work for Others (WFO)
- DOE Contract Number:
- DE-AC05-00OR22725
- OSTI ID:
- 1061550
- Resource Relation:
- Conference: CSIIR Workshop, Oak Ridge, TN, USA, 20130108, 20130110
- Country of Publication:
- United States
- Language:
- English
Similar Records
An examination of electronic file transfer between host and microcomputers for the AMPMODNET/AIMNET (Army Material Plan Modernization Network/Acquisition Information Management Network) classified network environment
THAC-SIP-3D: a three-dimensional, transient heat analysis code using the strongly implicit procedure. [In FORTRAN IV for IBM 360 and 370]