RAMSeS [electronic resource] : Rapid Analysis of Mission Software Systems.

Saved in:
Bibliographic Details
Online Access: Full Text (via OSTI)
Corporate Author: Sandia National Laboratories (Researcher)
Format: Government Document Electronic eBook
Language:English
Published: Washington, D.C. : Oak Ridge, Tenn. : United States. National Nuclear Security Administration ; Distributed by the Office of Scientific and Technical Information, U.S. Department of Energy, 2020.
Subjects:

MARC

LEADER 00000nam a22000003u 4500
001 b11772328
003 CoU
005 20220818040000.0
006 m o d f
007 cr |||||||||||
008 221019e20201202||| o| f0|||||eng|d
035 |a (TOE)ost1735977 
035 |a (TOE)1735977 
040 |a TOE  |c TOE 
049 |a GDWR 
072 1 |a 97  |2 edbsc 
072 1 |a 29  |2 edbsc 
086 0 |a E 1.99:SAND-2020-13784R 
086 0 |a E 1.99:SAND-2020-13784R 
088 |a SAND-2020-13784R 
245 0 0 |a RAMSeS  |h [electronic resource] :  |b Rapid Analysis of Mission Software Systems. 
260 |a Washington, D.C. :  |b United States. National Nuclear Security Administration ;  |a Oak Ridge, Tenn. :  |b Distributed by the Office of Scientific and Technical Information, U.S. Department of Energy,  |c 2020. 
300 |a Size: 9 p. :  |b digital, PDF file. 
336 |a text  |b txt  |2 rdacontent. 
337 |a computer  |b c  |2 rdamedia. 
338 |a online resource  |b cr  |2 rdacarrier. 
500 |a Published through Scitech Connect. 
500 |a 12/02/2020. 
500 |a "SAND-2020-13784R." 
500 |a "Other: 692881." 
500 |a Ghormley, Douglas P. ; Jones, Stephen Todd ; Bueno, Denis ; Leger, Michelle A. ; Loffredo, Timothy James ; Reedy, Geoffrey Edward ;  
520 3 |a Over the past few decades, software has become ubiquitous as it has been integrated into nearly every aspect of society, including household appliances, consumer electronics, industrial control systems, public utilities, government operations, and military systems. Consequently, many critical national security questions can no longer be answered convincingly without understanding software, including its purpose, its capabilities, its flaws, its communication, or how it processes and stores data. As software continues to become larger, more complex, and more widespread, our ability to answer important mission questions and reason about software in a timely way is falling behind. Today, to achieve such understanding of third-party software, we rely predominantly on the ability of reverse engineering experts to manually answer each particular mission question for every software system of interest. This approach often requires heroic human effort that nevertheless fails to meet current mission needs and will never scale to meet future needs. The result is an emerging crisis: a massive and expanding gap between the national security need to answer mission questions about software and our ability to do so. Sandia National Laboratories has established the Rapid Analysis of Mission Software Systems (RAMSeS) effort, a collaborative long-term effort aimed at dramatically improving our nation?s ability to answer mission questions about third-party software by growing an ecosystem of tools that augment the human reverse engineer through automation, interoperability, and reuse. Focusing on static analysis of binary programs, we are attempting to identify reusable software analysis components that advance our ability to reason about software, to automate useful aspects of the software analysis process, and to integrate new methodologies and capabilities into a working ecosystem of tools and experts. We aim to integrate existing tools where possible, adapt tools when modest modifications will enable them to interoperate, and implement missing capability when necessary. Although we do hope to automate a growing set of analysis tasks, we will approach this goal incrementally by assisting the human in an ever-widening range of tasks. 
536 |b AC04-94AL85000. 
536 |b NA0003525. 
650 7 |a 97 mathematics and computing  |2 local. 
650 7 |a 29 energy planning, policy, and economy  |2 local. 
650 7 |a Mathematics and computing  |2 local. 
650 7 |a Energy planning, policy, and economy  |2 local. 
710 2 |a Sandia National Laboratories.  |4 res. 
710 1 |a United States.  |b National Nuclear Security Administration.  |4 spn. 
710 1 |a United States.  |b Department of Energy.  |b Office of Scientific and Technical Information  |4 dst. 
856 4 0 |u https://www.osti.gov/servlets/purl/1735977  |z Full Text (via OSTI) 
907 |a .b117723289  |b 02-28-23  |c 04-01-21 
998 |a web  |b 12-08-22  |c f  |d m   |e p  |f eng  |g    |h 0  |i 2 
956 |a Information bridge 
999 f f |i 3e0398dd-f075-5cec-9336-edca71957467  |s 3251af6a-a6f4-5ef3-a3d2-97cd7eb3df14 
952 f f |p Can circulate  |a University of Colorado Boulder  |b Online  |c Online  |d Online  |e E 1.99:SAND-2020-13784R  |h Superintendent of Documents classification  |i web  |n 1