Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “security verification”

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.

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

At least 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

NCERC Provides Unique Opportunities for University Student Researchers

Five students and one faculty member - sponsored by the Defense Nuclear Nonproliferation (DNN, NA 22) university consortia - visited the National Criticality Experiments Research Center (NCERC) in July of 2023 to measure radiation signatures from Category I Special Nuclear Material (SNM) in a week-long measurement campaign organized by staff at Los Alamos National Laboratory. Participants included University of Florida, University of Michigan, and University of Illinois-Champaign Urbana. The measurement campaign was organized on behalf of the Consortium for Monitoring, Testing, and Verification (MTV), the Nuclear Science and Security Consortium (NSSC), and the Consortium for Enabling Technologies and Innovation (ETI).

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS2002

Component based approach to modeling for model checking

This paper presents a portion of an overall research project on the generation of a software security assessment instrument to aid developers in assessing and assuring the security of software in the development and maintenance lifecycles.

security toolset model checking security safety fo↗
NASA NTRS1990

Information Security and Integrity Systems

Viewgraphs from the Information Security and Integrity Systems seminar held at the University of Houston-Clear Lake on May 15-16, 1990 are presented. A tutorial on computer security is presented. The goals of this tutorial are the following: to review security requirements imposed by government and by common sense; to examine risk analysis methods to help keep sight of forest while in trees; to discuss the current hot topic of viruses (which will stay hot); to examine network security, now and in the next year to 30 years; to give a brief overview of encryption; to review protection methods in operating systems; to review database security problems; to review the Trusted Computer System Evaluation Criteria (Orange Book); to comment on formal verification methods; to consider new approaches (like intrusion detection and biometrics); to review the old, low tech, and still good solutions; and to give pointers to the literature and to where to get help. Other topics covered include security in software applications and development; risk management; trust: formal methods and associated techniques; secure distributed operating system and verification; trusted Ada; a conceptual model for supporting a B3+ dynamic multilevel security and integrity in the Ada runtime environment; and information intelligence sciences.

Source record↗
DOE OSTI2019

Using Pulse Connect Secure © to Implement Multi-Factor Authentication Solutions

Pulse Connect Secure © (PCS) is a trusted platform for government agencies to provide secure access to web portals. As more and more accounts are being hacked and web sites are being compromised, single factor authentication with a username and password has become insufficient to adequately protect authenticated web portals. Multi-factor authentication (MFA), granting user access only when two or more independent pieces of information are presented, has become a necessary tool in the prevention of security breaches. This paper provides an overview of three MFA solutions that utilize the features of PCS. Categories include Personal Identity Verification (PIV) card authentication, service provider initiated (SP–initiated) Security Assertion Markup Language based (SAML–based) authentication, and identity provider initiated (IdP–initiated) SAML–based authentication.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS2016

Verification of Triple Modular Redundancy Insertion for Reliable and Trusted Systems

If a system is required to be protected using triple modular redundancy (TMR), improper insertion can jeopardize the reliability and security of the system. Due to the complexity of the verification process and the complexity of digital designs, there are currently no available techniques that can provide complete and reliable confirmation of TMR insertion. We propose a method for TMR insertion verification that satisfies the process for reliable and trusted systems.

Verification↗
DOE OSTI2023

Detecting and characterizing special nuclear material for nuclear nonproliferation applications

Abstract There is an urgent need for new, better instrumentation and techniques for detecting and characterizing special nuclear material (SNM), i.e., highly enriched uranium and plutonium. The development of improved instruments and techniques requires experiments performed with the SNM itself, which is of limited availability. This paper describes the findings of experiments performed at the National Criticality Experiments Research Center conducted using new instruments and techniques on unclassified, kg-quantity SNM objects. These experiments, performed in the framework of the Department of Energy, National Nuclear Security Administration Consortium for Monitoring, Technology, and Verification, focused on detecting, characterizing, and localizing SNM samples with masses ranging from 3.3 to 13.8 kg, including plutonium and highly enriched uranium using prototype detectors and techniques. The work demonstrates SNM detection and characterization using recently-developed prototype detection systems. Specifically, we present new results in passive detection and imaging of plutonium and uranium objects using gamma-ray and dual particle (fast neutron and gamma-ray) imaging. We also present a new analysis of the delayed neutron emissions during active interrogation of uranium using a neutron generator.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2017

Akatosh: Automated Cyber Incident Verification and Impact Analysis

Akatosh, a U.S. Department of Homeland Security Transition to Practice Program (TTP) project developed by Oak Ridge National Laboratory with industry and academic partnership, enables automated, real-time forensic analysis of endpoints after malware-attacks and other cyber security incidents by automatically maintaining detailed snapshots of host-level activity on endpoints over time. It achieves this by integrating intrusion detection systems (IDS) with forensic tools. The combination allows Akatosh to collect vast amounts of endpoint data and assists in verifying, tracking, and analyzing endpoints in real time. This provides operations personnel and analysts as well as managers and executives with continuous feedback on the impact of malicious software and other security incidents on endpoints in their network.

Smith, Jared M.↗
DOE OSTI2017

NMIS/FNMIS Comparison for US DOE Office of Nuclear Verification

A comparison of the characteristics of the Nuclear Materials Identification System (NMIS) and its more fieldable version that was developed for future treaty applications, the Fieldable Nuclear Materials Identification System (FNMIS), is presented. Both systems were developed for the US Department of Energy (DOE) Office of Nuclear Verification (ONV). Under the Warhead Safety and Security Exchange Agreement, NMIS was also jointly developed with the Russian Federation. The configuration of the systems and their characteristics are described. In addition, the capabilities, advantages and disadvantages, and a comparison fast-neutron transmission imaging measurement is presented. The comparison measurements gave essentially the same results because the software and imaging apparatus have the same capabilities, with the FNMIS completing the measurements slightly faster. NMIS is an open system that is more easily modified for research applications and is not suitable for the ONV mission, and FNMIS is compatible with an information barrier, which is more useful for ONV applications.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗
NASA NTRS1991

Integrity and security in an Ada runtime environment

A review is provided of the Formal Methods group discussions. It was stated that integrity is not a pure mathematical dual of security. The input data is part of the integrity domain. The group provided a roadmap for research. One item of the roadmap and the final position statement are closely related to the space shuttle and space station. The group's position is to use a safe subset of Ada. Examples of safe sets include the Army Secure Operating System and the Penelope Ada verification tool. It is recommended that a conservative attitude is required when writing Ada code for life and property critical systems.

Bown, Rodney L.↗
DOE OSTI2018

Muon-Computed Tomography using POCA Trajectory for Imaging Spent Nuclear Fuel in Dry Storage Casks

Cosmic ray muon-computed tomography (μCT) is a new imaging modality with unique characteristics that can be particularly important for applications in nuclear proliferation detection and international treaty verification. Using cosmic ray muons for nuclear security presents several potential advantages. Among others, muons are generated naturally in the atmosphere, can penetrate high-density materials, and are freely available. No radiological sources are required and consequently there is no associated radiological dose. Recently, the feasibility of using muons for imaging spent nuclear fuel stored in shielded casks has been explored and has been proved beneficial. However, challenges in μCT imaging include low muon flux of ~10,000 muons/m2/min, the effects of multiple Coulomb scattering (MCS) blurring the image, and inefficiency in being able to use all recorded muons for imaging. In this paper, we argue that the use of muon tracing should produce tomographic muon images with improved quality – or more quickly for the same image quality – compared to the case where conventional methods are used. In our paper, we report on the development and assessment of a novel muon tracing method for μCT. The proposed method back projects the muon’s scattering angle into each pixel crossed by its PoCA trajectory then forward projects the variance of the scattering angle in each pixel to detector bins along the muon’s incident horizontal direction. Two scenarios were simulated to assess the expected detection capability of this proposed method. GEANT4 was used to model the main characteristics of 1-60 GeV muons through matter. The simulated images showed an expected improvement in resolution and a reduced the reliance on the muon momentum information compared to a more conventional muon tomography method.

Liu, Zhengzhi↗
DOE OSTI2025

Orthogonality broadcasting and quantum position verification

The no-cloning theorem leads to information-theoretic security in various quantum cryptographic protocols. However, this security typically derives from a possibly weaker property that classical information encoded in certain quantum states cannot be broadcast. To formally capture this property, we introduce the study of ‘orthogonality broadcasting.’ When attempting to broadcast the orthogonality of two different qubit bases, we establish that the power of classical and quantum communication is equivalent. However, quantum communication is shown to be strictly more powerful for broadcasting orthogonality in higher dimensions. We then relate orthogonality broadcasting to quantum position verification and provide a new method for establishing error bounds in the no pre-shared entanglement model that can address protocols previous methods could not. Our key technical contribution is an uncertainty relation that uses the geometric relation of the states that undergo broadcasting rather than the non-commutative aspect of the final measurements.

quantum cryptography↗
DOE OSTI2014

National Center for Nuclear Security - NCNS

As the United States embarks on a new era of nuclear arms control, the tools for treaty verification must be accurate and reliable, and must work at stand-off distances. The National Center for Nuclear Security, or NCNS, at the Nevada National Security Site, is poised to become the proving ground for these technologies. The center is a unique test bed for non-proliferation and arms control treaty verification technologies. The NNSS is an ideal location for these kinds of activities because of its multiple environments; its cadre of experienced nuclear personnel, and the artifacts of atmospheric and underground nuclear weapons explosions. The NCNS will provide future treaty negotiators with solid data on verification and inspection regimes and a realistic environment in which future treaty verification specialists can be trained. Work on warhead monitoring at the NCNS will also support future arms reduction treaties.

45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEF↗
NASA NTRS2016

Verification of Triple Modular Redundancy (TMR) Insertion for Reliable and Trusted Systems

We propose a method for TMR insertion verification that satisfies the process for reliable and trusted systems. If a system is expected to be protected using TMR, improper insertion can jeopardize the reliability and security of the system. Due to the complexity of the verification process, there are currently no available techniques that can provide complete and reliable confirmation of TMR insertion. This manuscript addresses the challenge of confirming that TMR has been inserted without corruption of functionality and with correct application of the expected TMR topology. The proposed verification method combines the usage of existing formal analysis tools with a novel search-detect-and-verify tool. Field programmable gate array (FPGA),Triple Modular Redundancy (TMR),Verification, Trust, Reliability,

Trust↗
DOE OSTI2015

Single-Volume Neutron Scatter Camera for High-Efficiency Neutron Imaging and Source Characterization. Year 2 of 3 Summary

The neutron scatter camera (NSC), an imaging spectrometer for fission energy neutrons, is an established and proven detector for nuclear security applications such as weak source detection of special nuclear material (SNM), arms control treaty verification, and emergency response. Relative to competing technologies such as coded aperture imaging, time-encoded imaging, neutron time projection chamber, and various thermal neutron imagers, the NSC provides excellent event-by-event directional information for signal/background discrimination, reasonable imaging resolution, and good energy resolution. Its primary drawback is very low detection efficiency due to the requirement for neutron elastic scatters in two detector cells. We will develop a singlevolume double-scatter neutron imager, in which both neutron scatters can occur in the same large active volume. If successful, the efficiency will be dramatically increased over the current NSC cell-based geometry. If the detection efficiency approaches that of e.g. coded aperture imaging, the other inherent advantages of double-scatter imaging would make it the most attractive fast neutron detector for a wide range of security applications.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
NASA NTRS2017

Cleared for Launch - Lessons Learned from the OSIRIS-REx System Requirements Verification Program

Requirements verification of a large flight system is a challenge. It is especially challenging for engineers taking on their first role in space systems engineering. This paper describes our approach to verification of the Origins, Spectral Interpretation, Resource Identification, Security-Regolith Explorer (OSIRIS-REx) system requirements. It also captures lessons learned along the way from developing systems engineers embroiled in this process. We begin with an overview of the mission and science objectives as well as the project requirements verification program strategy. A description of the requirements flow down is presented including our implementation for managing the thousands of program and element level requirements and associated verification data. We discuss both successes and methods to improve the managing of this data across multiple organizational interfaces. Our approach to verifying system requirements at multiple levels of assembly is presented using examples from our work at instrument, spacecraft, and ground segment levels. We include a discussion of system end-to-end testing limitations and their impacts to the verification program. Finally, we describe lessons learned that are applicable to all emerging space systems engineers using our unique perspectives across multiple organizations of a large NASA program.

Requirements Verification↗
DOE OSTI2023

CYVET: A Cyber-Physical Assurance Framework Based on a Semi-Supervised Vetting Approach

The project is designed to directly address the needs described in the Topic Area 4 (“Cybersecurity Verification and Validation”) of the CEDS’19 Research Call. The proposed CYVET system directly addresses the need to elevate the current industry capabilities to verify and validate OT cybersecurity and associated control system infrastructure. Currently, there is a significant gap in the energy sector’s capability in that regard during infrastructure improvement, equipment procurement, and compliance certification. CYVET provides that needed capability. CYVET is device and architecture agnostic and thus broadly applicable across the energy sector. The goal of this project is to develop and deliver a cybersecurity verification and validation framework testing capability to verify and validate OT equipment, software, and the underlying control system architecture. The primary project objectives are (i) Verification: the synthesis and reconciliation of standards and vendor supplied features, (ii) Validation: the generation, execution, and presentation of testing scripts of verified security features, and (3) Demonstration: apply the developed technology capabilities for verification and validation at a relevant end-user facility in the energy sector.

Lopez Jr, Juan↗