SEARCH · Search NASA

Results for “Space Security”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 127 records · Page 7

All sources NASA NTRS DOE OSTI

NASA NTRS1977

Personal Alarm System

Trouble in the classroom is an unpleasant fact of modern life. Space technology can't stop the trouble from occurring, but it can prevent it from spreading. In recognition of this, NASA and the Sacramento, Cal. Unified School District developed a personal security system based on space telemetry technology. The first application was for schools, but the simplicity and reliability of the system has made it more widely applicable. The heart of the system is an ultrasonic pen-size transmitter. It can be used by prison guards, teachers, or others such as the handicapped and the elderly.

Source record↗

NASA NTRS2013

IT Security Support for Spaceport Command and Control System

During the fall 2013 semester, I worked at the Kennedy Space Center as an IT Security Intern in support of the Spaceport Command and Control System under the guidance of the IT Security Lead Engineer. Some of my responsibilities included assisting with security plan documentation collection, system hardware and software inventory, and malicious code and malware scanning. Throughout the semester, I had the opportunity to work on a wide range of security related projects. However, there are three projects in particular that stand out. The first project I completed was updating a large interactive spreadsheet that details the SANS Institutes Top 20 Critical Security Controls. My task was to add in all of the new commercial of the shelf (COTS) software listed on the SANS website that can be used to meet their Top 20 controls. In total, there are 153 unique security tools listed by SANS that meet one or more of their 20 controls. My second project was the creation of a database that will allow my mentor to keep track of the work done by the contractors that report to him in a more efficient manner by recording events as they occur throughout the quarter. Lastly, I expanded upon a security assessment of the Linux machines being used on center that I began last semester. To do this, I used a vulnerability and configuration tool that scans hosts remotely through the network and presents the user with an abundance of information detailing each machines configuration. The experience I gained from working on each of these projects has been invaluable, and I look forward to returning in the spring semester to continue working with the IT Security team.

computer security↗

NASA NTRS1993

Opinion polls and the U.S. civil space program

The conclusions that can be drawn from public opinion polls depend a great deal on what usually does not appear on the newspaper page or television screen. Subtle biases can result from the population interviewed, the time of day individuals were called, how a particular question was asked, or how the answer was interpreted. Examples are the 1961 Gallop Poll, the survey done for Rockwell International by the firm of Yankelovich, Skelly and White/Clancy Shulman, and the one done by Jon D. Miller of the International Center for the Advancement of Scientific Literacy. There is more to learn from opinion polls than that a good proportion of adult Americans support the space program. We can learn that social and economic security are not competing goals with space, but interdependent goals. If we want to increase public support for space, we must increase the number of Americans who have the economic freedom to take an interest in something besides getting by, day after day. We can also learn that the majority of those who support the space program can distinguish between the bread and circuses of space travel. They are content to experience extraordinary adventures in the movie theaters; for their tax dollars they want real return in expended scientific knowledge and understanding. Finally, we can learn that we need to increase that return, not just for scientific careers, but for the ordinary people who pay our bills and for their children, our children. Ultimately, the space program is for them, as all investments in the future must be.

Kraemer, Sylvia K.↗

NASA NTRS2014

The CCSDS Next Generation Space Data Link Protocol (NGSLP)

The CCSDS space link protocols i.e., Telemetry (TM), Telecommand (TC), Advanced Orbiting Systems (AOS) were developed in the early growth period of the space program. They were designed to meet the needs of the early missions, be compatible with the available technology and focused on the specific link environments. Digital technology was in its infancy and spacecraft power and mass issues enforced severe constraints on flight implementations. Therefore the Telecommand protocol was designed around a simple Bose, Hocquenghem, Chaudhuri (BCH) code that provided little coding gain and limited error detection but was relatively simple to decode on board. The infusion of the concatenated Convolutional and Reed-Solomon codes5 for telemetry was a major milestone and transformed telemetry applications by providing them the ability to more efficiently utilize the telemetry link and its ability to deliver user data. The ability to significantly lower the error rates on the telemetry links enabled the use of packet telemetry and data compression. The infusion of the high performance codes for telemetry was enabled by the advent of digital processing, but it was limited to earth based systems supporting telemetry. The latest CCSDS space link protocol, Proximity-1 was developed in early 2000 to meet the needs of short-range, bi-directional, fixed or mobile radio links characterized by short time delays, moderate but not weak signals, and short independent sessions. Proximity-1 has been successfully deployed on both NASA and ESA missions at Mars and is planned to be utilized by all Mars missions in development. A new age has arisen, one that now provides the means to perform advanced digital processing in spacecraft systems enabling the use of improved transponders, digital correlators, and high performance forward error correcting codes for all communications links. Flight transponders utilizing digital technology have emerged and can efficiently provide the means to make the next leap in performance for space link communications. Field Programmable Gate Arrays (FPGAs) provide the capability to incorporate high performance forward error correcting codes implemented within software transponders providing improved performance in data transfer, ranging, link security, and time correlation. Given these synergistic technological breakthroughs, the time has come to take advantage of them in applying them to both on going (e.g., command, telemetry) and emerging (e.g., space link security, optical communication) space link applications. However one of the constraining factors within the Data Link Layer in realizing these performance gains is the lack of a generic transfer frame format and common supporting services amongst the existing CCSDS link layer protocols. Currently each of the four CCSDS link layer protocols (TM, TC, AOS, and Proximity-1) have unique formats and services which prohibits their reuse across the totality of all space link applications of CCSDS member space agencies. For example, Mars missions. These missions implement their proximity data link layer using the Proximity-1 frame format and the services it supports but is still required to support the direct from Earth (TC) protocols and the Direct To Earth (AOS/TM) protocols. The prime purpose of this paper, is to describe a new general purpose CCSDS Data Link layer protocol, the NGSLP that will provide the required services along with a common transfer frame format for all the CCSDS space links (ground to/from space and space to space links) targeted for emerging missions after a CCSDS agency-wide coordinated date. This paper will also describe related options that can be included for the Coding and Synchronization sub-layer of the Data Link layer to extend the capacities of the link and additionally provide an independence of the transfer frame sub-layer from the coding sublayer. This feature will provide missions the option of running either the currently performed synchronous coding and transfer frame data link or an asynchronous coding/frame data link, in which the transfer frame length is independent of the block size of the code. The benefits from the elimination of this constraint (frame synchronized to the code block) will simplify the interface between the transponder and the data handling equipment and reduce implementation costs and complexities. The benefits include: inclusion of encoders/decoders into transmitters and receivers without regard to data link protocols, providing the ability to insert latency sensitive messages into the link to support launch, landing/docking, telerobotics. and Variable Coded Modulation (VCM). In addition the ability to transfer different sized frames can provide a backup for delivering stored anomaly engineering data simultaneously with real time data, or relaying of frames from various sources onto a trunk line for delivery to Earth.

Kazz, Greg J.↗

NASA NTRS2005

Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions

NASA's Exploration Initiative (EI) will push space exploration missions to the limit. Future missions will be required to be self-managing as well as self-directed, in order to meet the challenges of human and robotic space exploration. We discuss security and self protection in autonomic agent based-systems, and propose the ultimate self-protection mechanism for such systems-self-destruction. Like other metaphors in Autonomic Computing, this is inspired by biological systems, and is the analog of biological apoptosis. Finally, we discus the role it might play in future NASA space exploration missions.

Sterritt, Roy↗

NASA NTRS2001

Compact Microscope Imaging System Developed

The Compact Microscope Imaging System (CMIS) is a diagnostic tool with intelligent controls for use in space, industrial, medical, and security applications. The CMIS can be used in situ with a minimum amount of user intervention. This system, which was developed at the NASA Glenn Research Center, can scan, find areas of interest, focus, and acquire images automatically. Large numbers of multiple cell experiments require microscopy for in situ observations; this is only feasible with compact microscope systems. CMIS is a miniature machine vision system that combines intelligent image processing with remote control capabilities. The software also has a user-friendly interface that can be used independently of the hardware for post-experiment analysis. CMIS has potential commercial uses in the automated online inspection of precision parts, medical imaging, security industry (examination of currency in automated teller machines and fingerprint identification in secure entry locks), environmental industry (automated examination of soil/water samples), biomedical field (automated blood/cell analysis), and microscopy community. CMIS will improve research in several ways: It will expand the capabilities of MSD experiments utilizing microscope technology. It may be used in lunar and Martian experiments (Rover Robot). Because of its reduced size, it will enable experiments that were not feasible previously. It may be incorporated into existing shuttle orbiter and space station experiments, including glove-box-sized experiments as well as ground-based experiments.

McDowell, Mark↗

NASA NTRS2002

Compact Video Microscope Imaging System Implemented in Colloid Studies

Long description Photographs showing fiber-optic light source, microscope and charge-coupled discharge (CCD) camera head connected to camera body, CCD camera body feeding data to image acquisition board in PC, and Cartesian robot controlled via PC board. The Compact Microscope Imaging System (CMIS) is a diagnostic tool with intelligent controls for use in space, industrial, medical, and security applications. CMIS can be used in situ with a minimum amount of user intervention. This system can scan, find areas of interest in, focus on, and acquire images automatically. Many multiple-cell experiments require microscopy for in situ observations; this is feasible only with compact microscope systems. CMIS is a miniature machine vision system that combines intelligent image processing with remote control. The software also has a user-friendly interface, which can be used independently of the hardware for further post-experiment analysis. CMIS has been successfully developed in the SML Laboratory at the NASA Glenn Research Center and adapted for use for colloid studies and is available for telescience experiments. The main innovations this year are an improved interface, optimized algorithms, and the ability to control conventional full-sized microscopes in addition to compact microscopes. The CMIS software-hardware interface is being integrated into our SML Analysis package, which will be a robust general-purpose image-processing package that can handle over 100 space and industrial applications.

McDowell, Mark↗

NASA NTRS1982

Space Station needs, attributes, and architectural option study

Potential user interest and requirements for a manned space station are examined for space and applications missions, commercial missions, technology demonstration missions, space operations missions, and national security missions. Approaches to architectural options, candidate payloads, and technology drivers are considered. Mission imposed requirements for the space operations center are also considered.

Source record↗

NASA NTRS2005

Development of an Autonomous Lidar Instrument for Use on a UAV Platform in Support of Homeland Security

Researchers at NASA's Goddard Space Flight Center have developed an autonomous aerosol backscatter lidar instrument for use on the high-altitude ER-2 aircraft (for more information please visit http://cpl.gsfc.nasa.gov). Work is currently underway to transfer this instrument to a UAV platform such as Global Hawk. While the NASA applications are Earth science and satellite validation, there is clearly a Homeland Security application for such an instrument. One novel concept is to have a fleet of UAVs stationed around the country, each UAV having a payload including a lidar instrument. In the event of attack, the appropriate UAV(s) could be launched for purposes of, e.g., plume detection and tracking that are critical for decision support. While the existing lidar instrument is not directly capable of biological species discrimination, it is capable of plume tracking and thus can demonstrate to DHS the capabilities and utility of such instruments. Using NASA funding we will have an instrument ready to fly on Global Hawk by end of 2005. We would like to find partners, either within private industry or within DHS who would be willing to contribute aircraft access and flight hours for a demonstration flight. Longer-term partnerships to develop more advanced and more capable types of lidar instruments are also desirable. In this presentation we will detail the existing ER-2 lidar instrument and show measurement results, show the progress made on adapting to the Global Hawk platform, present concepts for DHS uses of such instruments, and openly pursue partnership opportunities.

McGill, Matthew↗

NASA NTRS2010

Current Status of NASA's Heavy Lift Plans

Numerous studies since the Apollo Program of the 1960s have highlighted the benefits of - and the need for - a national heavy lift launch capability to support human exploration, science, national security, and commercial development of space. NASA's most recent and most refined effort to develop that heavy lift capability is the Ares V. Ares V is a key element of NASA's Constellation Program. It s overall goal s part of approved national space policy is to retire the Space Shuttle and develop its successor, complete the International Space Station, and resume human exploration beyond low Earth orbit (LEO), beginning with exploration of the Moon as a step to other destinations in the Solar System. Ares V s first role is that of cargo vehicle to carry a lunar lander into Earth orbit, rendezvous with astronauts launched on the smaller Ares I crew launch vehicle, and perform the trans lunar injection (TLI) mission to send the mated crew and lander vehicles to the Moon. The design reference missions (DRMs) envisioned for it also include direct lunar cargo flights and a human Mars mission. Although NASA's priority from the start of the Constellation Program to the present has been development of the Ares I and Orion crew vehicle to replace the retiring Shuttle fleet, the Ares team has made significant progress in understanding the performance, design trades, technology needs, mission scenarios, ground and flight operations, cost, and other factors associated with heavy lift development. The current reference configuration was selected during the Lunar Capabilities Concept Review (LCCR) in fall 2008. That design has served since then as a point of departure for further refinements and trades among five participating NASA field centers. Ares V development to date has benefited from progress on the Ares I due to commonality between the vehicles. The Ares I first stage completed a successful firing of a 5-segment solid rocket motor. The Ares I-X launch Numerous studies since the Apollo Program of the 1960s have highlighted the benefits of and the need for - a national heavy lift launch capability to support human exploration, science, national security, and commercial development of space. NASA s most recent and most refined effort to develop that heavy lift capability is the Ares V. Ares V is a key element of NASA s Constellation Program. It s overall goal s part of approved national space policy is to retire the Space Shuttle and develop its successor, complete the International Space Station, and resume human exploration beyond low Earth orbit (LEO), beginning with exploration of the Moon as a step to other destinations in the Solar System. Ares V s first role is that of cargo vehicle to carry a lunar lander into Earth orbit, rendezvous with astronauts launched on the smaller Ares I crew launch vehicle, and perform the trans lunar injection (TLI) mission to send the mated crew and lander vehicles to the Moon. The design reference missions (DRMs) envisioned for it also include direct lunar cargo flights and a human Mars mission. Although NASA s priority from the start of the Constellation Program to the present has been development of the Ares I and Orion crew vehicle to replace the retiring Shuttle fleet, the Ares team has made significant progress in understanding the performance, design trades, technology needs, mission scenarios, ground and flight operations, cost, and other factors associated with heavy lift development. The current reference configuration was selected during the Lunar Capabilities Concept Review (LCCR) in fall 2008. That design has served since then as a point of departure for further refinements and trades among five participating NASA field centers. Ares V development to date has benefited from progress on the Ares I due to commonality between the vehicles. The Ares I first stage completed a successful firing of a 5-segment solid rocket motor. The Ares I-X launch successfully demonstrated in suborbital flighhe ability to assemble, prepare, launch, control and recover the Ares I configuration and compare performance to computer models. Component tests continue on the J-2X engine, which will put both the Ares I and Ares V upper stages into orbit. In addition, more than 100,000 parts have been manufactured or on the assembly line for the first J-2X powerpack and the first two development engines, with hot fire tests to begin in 2011. This paper will further detail the progress to date on the Ares V and planned activities for the remainder of 2010. In addition, the Ares V team has continued its outreach to potential user communities in science and national security. Through the Constellation Program, NASA has amassed an enormous knowledge base in the design, technologies, and operations of heavy lift launch vehicles that will be a national asset for any future launch vehicle decision. This early phase of the design presents the best opportunity to incorporate where possible the insights and needs of other users.

Creech, Steve↗

NASA NTRS1996

Fact Sheet: National Space Policy

For over three decades, the United States has led the world in the exploration and use of outer space. Our achievements in space have inspired a generation of Americans and people throughout the world. We will maintain this leadership role by supporting a strong, stable, and balanced national space program that serves our goals in national security, foreign policy, economic growth, environmental stewardship, and scientific and technical excellence. Access to and use of space are central for preserving peace and protecting US national security as well as civil and commercial interests. The United States will pursue greater levels of partnership and cooperation in national and international space activities and work with other nations to ensure the continued exploration and use of outer space for peaceful purposes. The goals of the US space program are to: (a) Enhance knowledge of the Earth, the solar system, and the universe through human and robotic exploration; (b) Strengthen and maintain the national security of the United States; (c) Enhance the economic competitiveness and scientific and technical capabilities of the United States; (d) Encourage State, local, and private sector investment in, and use of, space technologies; (e) Promote international cooperation to further US domestic, national security, and foreign policies. The United States is committed to the exploration and use of outer space by all nations for peaceful purposes and for the benefit of all humanity. "Peaceful purposes" allow defense and intelligence-related activities in pursuit of national security and other goals. The United States rejects any claims to sovereignty by any nation over outer space or celestial bodies, or any portion thereof, and rejects any limitations on the fundamental right of sovereign nations to acquire data from space. The United States considers the space systems of any nation to be national property with the right of passage through and operations in space without interference. Purposeful interference with space systems shall be viewed as an infringement on sovereign rights. The US Government will maintain and coordinate separate national security and civil space systems where differing needs dictate. All actions undertaken by agencies and departments in implementing the national space policy shall be consistent with US law, regulations, national security requirements, foreign policy, international obligations, and nonproliferation policy. The National Science and Technology Council (NSTC) is the principal forum for resolving issues related to national space policy. As appropriate, the NSTC and NSC will co-chair policy process. This policy will be implemented within the overall resource and policy guidance provided by the President.

Source record↗

NASA NTRS2006

NASA Tech Briefs, September 2006

Topics covered include: Improving Thermomechanical Properties of SiC/SiC Composites; Aerogel/Particle Composites for Thermoelectric Devices; Patches for Repairing Ceramics and Ceramic- Matrix Composites; Lower-Conductivity Ceramic Materials for Thermal-Barrier Coatings; An Alternative for Emergency Preemption of Traffic Lights; Vehicle Transponder for Preemption of Traffic Lights; Automated Announcements of Approaching Emergency Vehicles; Intersection Monitor for Traffic-Light-Preemption System; Full-Duplex Digital Communication on a Single Laser Beam; Stabilizing Microwave Frequency of a Photonic Oscillator; Microwave Oscillators Based on Nonlinear WGM Resonators; Pointing Reference Scheme for Free-Space Optical Communications Systems; High-Level Performance Modeling of SAR Systems; Spectral Analysis Tool 6.2 for Windows; Multi-Platform Avionics Simulator; Silicon-Based Optical Modulator with Ferroelectric Layer; Multiplexing Transducers Based on Tunnel-Diode Oscillators; Scheduling with Automated Resolution of Conflicts; Symbolic Constraint Maintenance Grid; Discerning Trends in Performance Across Multiple Events; Magnetic Field Solver; Computing for Aiming a Spaceborne Bistatic- Radar Transmitter; 4-Vinyl-1,3-Dioxolane-2-One as an Additive for Li-Ion Cells; Probabilistic Prediction of Lifetimes of Ceramic Parts; STRANAL-PMC Version 2.0; Micromechanics and Piezo Enhancements of HyperSizer; Single-Phase Rare-Earth Oxide/Aluminum Oxide Glasses; Tilt/Tip/Piston Manipulator with Base-Mounted Actuators; Measurement of Model Noise in a Hard-Wall Wind Tunnel; Loci-STREAM Version 0.9; The Synergistic Engineering Environment; Reconfigurable Software for Controlling Formation Flying; More About the Tetrahedral Unstructured Software System; Computing Flows Using Chimera and Unstructured Grids; Avoiding Obstructions in Aiming a High-Gain Antenna; Analyzing Aeroelastic Stability of a Tilt-Rotor Aircraft; Tracking Positions and Attitudes of Mars Rovers; Stochastic Evolutionary Algorithms for Planning Robot Paths; Compressible Flow Toolbox; Rapid Aeroelastic Analysis of Blade Flutter in Turbomachines; General Flow-Solver Code for Turbomachinery Applications; Code for Multiblock CFD and Heat-Transfer Computations; Rotating-Pump Design Code; Covering a Crucible with Metal Containing Channels; Repairing Fractured Bones by Use of Bioabsorbable Composites; Kalman Filter for Calibrating a Telescope Focal Plane; Electronic Absolute Cartesian Autocollimator; Fiber-Optic Gratings for Lidar Measurements of Water Vapor; Simulating Responses of Gravitational-Wave Instrumentation; SOFTC: A Software Correlator for VLBI; Progress in Computational Simulation of Earthquakes; Database of Properties of Meteors; Computing Spacecraft Solar-Cell Damage by Charged Particles; Thermal Model of a Current-Carrying Wire in a Vacuum; Program for Analyzing Flows in a Complex Network; Program Predicts Performance of Optical Parametric Oscillators; Processing TES Level-1B Data; Automated Camera Calibration; Tracking the Martian CO2 Polar Ice Caps in Infrared Images; Processing TES Level-2 Data; SmaggIce Version 1.8; Solving the Swath Segment Selection Problem; The Spatial Standard Observer; Less-Complex Method of Classifying MPSK; Improvement in Recursive Hierarchical Segmentation of Data; Using Heaps in Recursive Hierarchical Segmentation of Data; Tool for Statistical Analysis and Display of Landing Sites; Automated Assignment of Proposals to Reviewers; Array-Pattern-Match Compiler for Opportunistic Data Analysis; Pre-Processor for Compression of Multispectral Image Data; Compressing Image Data While Limiting the Effects of Data Losses; Flight Operations Analysis Tool; Improvement in Visual Target Tracking for a Mobile Robot; Software for Simulating Air Traffic; Automated Vectorization of Decision-Based Algorithms; Grayscale Optical Correlator Workbench; "One-Stop Shopping" for Ocean Remote-Sensing and Model Data; State Analysis Database Tool; Generating CAHV and CAHVOmages with Shadows in ROAMS; Improving UDP/IP Transmission Without Increasing Congestion; FORTRAN Versions of Reformulated HFGMC Codes; Program for Editing Spacecraft Command Sequences; Flight-Tested Prototype of BEAM Software; Mission Scenario Development Workbench; Marsviewer; Tool for Analysis and Reduction of Scientific Data; ASPEN Version 3.0; Secure Display of Space-Exploration Images; Digital Front End for Wide-Band VLBI Science Receiver; Multifunctional Tanks for Spacecraft; Lightweight, Segmented, Mostly Silicon Telescope Mirror; Assistant for Analyzing Tropical-Rain-Mapping Radar Data; and Anion-Intercalating Cathodes for High-Energy- Density Cells.

Source record↗

NASA NTRS1982

Private financing and operation of a space station: Investment requirements, risk, government support and other primary business management considerations

Private investment in a manned space station is considered as an alternative to complete government sponsorship of such a program. The implications of manned space operations are discussed from a business perspective. The most significant problems and risks which would be faced by a private company involved in a space station enterprise are outlined and possible government roles in helping to overcome these difficulties suggested. Economic factors such as inflation and the rate of interest are of primary concern, but less obvious conditions such as antitrust and appropriate regulatory laws, government appropriations for space activities, and national security are also considered.

Simon, M.↗

NASA NTRS1983

A study of space station needs, attributes and architectural options. Volume 2: Technical. Book 1: Mission requirements

The following types of space missions were evaluated to determine those that require, or will be benefited materially, by a manned space station: (1) science and applications, (2) commercial, (3) technology development, (4) space operations, and (5) national security. Integrated mission requirements for man-operated and man-tended free-flying missions were addressed. A manned space station will provide major performance and economic benefits to a wide range of missions planned for the 1990s.

Steinbronn, O.↗

NASA NTRS1985

Hemispherical latching apparatus

An apparatus for securing payloads in a space vehicle such as the space shuttle is described. The apparatus includes many latching assemblies carried by a platform on the vehicle and a like number of latching elements carried by the payload and adapted to mate with the latching assemblies. The novelty of the invention is believed to reside in the use of complementary hemispherical elements which automatically align and engage with one another. This enables a simple but effective mode of operation and avoids the need for hinged linkages and similar moving parts.

Clark, K. H.↗

NASA NTRS1996

Exploring the Unknown: Selected Documents in the History of the U.S. Civilian Space Program: External Relationships - Volume 2

The documents selected for inclusion in this volume are presented in three chapters, each covering a particular aspect of the evolution of U.S. space exploration. These chapters address (1) the relations between the civilian space program of the United States and the space activities of other countries, (2) the relations between the U.S. civilian space program and the space efforts of national security organizations and the military, and (3) NASA's relations with industry and academic institutions.

Logsdon, John M.↗

NASA NTRS2004

Using software security analysis to verify the secure socket layer (SSL) protocol

nal Aeronautics and Space Administration (NASA) have tens of thousands of networked computer systems and applications. Software Security vulnerabilities present risks such as lost or corrupted data, information the3, and unavailability of critical systems. These risks represent potentially enormous costs to NASA. The NASA Code Q research initiative 'Reducing Software Security Risk (RSSR) Trough an Integrated Approach '' offers, among its capabilities, formal verification of software security properties, through the use of model based verification (MBV) to address software security risks. [1,2,3,4,5,6] MBV is a formal approach to software assurance that combines analysis of software, via abstract models, with technology, such as model checkers, that provide automation of the mechanical portions of the analysis process. This paper will discuss: The need for formal analysis to assure software systems with respect to software and why testing alone cannot provide it. The means by which MBV with a Flexible Modeling Framework (FMF) accomplishes the necessary analysis task. An example of FMF style MBV in the verification of properties over the Secure Socket Layer (SSL) communication protocol as a demonstration.

software↗

NASA NTRS2008

A Practical, Affordable Cryogenic Propellant Depot Based on ULA's Flight Experience

Mankind is embarking on the next step in the journey of human exploration. We are returning to the moon and eventually moving to Mars and beyond. The current Exploration architecture seeks a balance between the need for a robust infrastructure on the lunar surface, and the performance limitations of Ares I and V. The ability to refuel or top-off propellant tanks from orbital propellant depots offers NASA the opportunity to cost effectively and reliably satisfy these opposing requirements. The ability to cache large orbital quantities of propellant is also an enabling capability for missions to Mars and beyond. This paper describes an option for a propellant depot that enables orbital refueling supporting Exploration, national security, science and other space endeavors. This proposed concept is launched using a single EELV medium class rocket and thus does not require any orbital assembly. The propellant depot provides cryogenic propellant storage that utilizes flight proven technologies augmented with technologies currently under development. The propellant depot system, propellant management, flight experience, and key technologies are also discussed. Options for refueling the propellant depot along with an overview of Exploration architecture impacts are also presented.

Kutter, Bernard F.↗