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 145 records · Page 8

Contact-Less Integrity Verification of Microelectronics Using Near-Field EM Analysis

Modern microelectronics life-cycle and supply chain ecosystem bring multiple untrusted entities, which can compromise their integrity. A major integrity issue of microelectronics stems from piracy of intellectual properties (IP) and counterfeiting, which causes significant revenue loss to the semiconductor manufacturers. Further, these components often lead to compromised functionality, reliability, security, and safety of an electronic system. This paper presents secure information transmission and probing methods for verifying the integrity of digital integrated circuit (ICs) based on their electromagnetic (EM) near-field emissions and thereby protecting systems against counterfeit components. The proposed method has been tested on both high-level instructions executed by microprocessors or Systems-on-Chip (serving as examples of software), and also logic circuits within FPGA fabrics and ASICs (serving as examples of hardware). The authentication information required by each digital system is generated using a pseudo-random number generator circuit and securely transmitted via near-field magnetic emissions. The authorized party can probe these emissions using a near-field probe, process the acquired signals to improve the signal-to-noise ratio (SNR), and then recover the secure information through matched filtering. Experimental results from commercial SoCs are used to demonstrate the proposed technique. Methods for reducing EM interference during integrity verification of both FPGAs and ASICs are also described.

47 OTHER INSTRUMENTATION↗

Partial defect verification of spent fuel assemblies by PDET: Principle and field testing in Interim Spent fuel Storage Facility (CLAB) in Sweden

Here, the need for the development of a credible method and instrument for partial defect verification of spent fuel has been emphasized over a few decades in the safeguards communities as the diverted spent fuel pins can be the source of nuclear terrorism or devices. The need is increasingly more important and even urgent as many countries have started to transfer spent fuel to so called "difficult-to-access" areas such as dry storage casks, reprocessing or geological repositories. Partial defect verification is required by IAEA before spent fuel is placed into "difficult-to-access" areas. Earlier, Lawrence Livermore National Laboratory (LLNL) has reported the successful development of a new, credible partial defect verification method for pressurized water reactor (PWR) spent fuel assemblies without use of operator data, and further reported the validation experiments using commercial spent fuel assemblies with some missing fuel pins. The method was found to be robust as the method is relatively invariant to the characteristic variations of spent fuel assemblies such as initial fuel enrichment, cooling time, and burn-up. Since then, the PDET system has been designed and prototyped for 17×17 PWR spent fuel assemblies, complete with data acquisition software and acquisition electronics. In this paper, a summary description of the PDET development followed by results of the first successful field testing using the integrated PDET system and actual spent fuel assemblies performed in a commercial spent fuel storage site, known as Central Interim Spent fuel Storage Facility (CLAB) in Sweden will be presented. In addition to partial defect detection initial studies have determined that the tool can be used to verify the operator declared average burnup of the assembly as well as intra-assembly bunrup levels.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Evaluation of Real-Time Mitigation Techniques forCyber Security in IEC 61850 / IEC 62351Substations

This paper presents the design logic and implementation aspects of three potential real-time mitigation techniques capable of countering GOOSE-based attacks: (i) IEC 62351-compliant message authentication code (MAC) scheme, (ii) a semantics-enforced rule- based intrusion detection system (IDS), and (iii) a hybrid approach integrating both MAC verification and Intrusion Detection System (IDS). A comparative evaluation of these real-time mitigation approaches is conducted using a cyber-physical system(CPS) security testbed. The results show that the hybrid integration significantly enhances mitigation capability. Furthermore, the processing delays of all three methods remain within the strict delivery requirements of GOOSE communication. The study also identifies limitations that none of the techniques can fully address, highlighting areas for future work.

Liu, Chen-Ching [Virginia Polytechnic Inst. and St↗

Calendar Year 2020 Post-Closure Monitoring Report for Corrective Action Unit 99: Rainier Mesa/Shoshone Mountain, Underground Test Area, Nevada National Security Site, Nevada (Rev. 1)

This report presents the results of monitoring conducted for water quality, water levels, and institutional controls in calendar year (CY) 2020 by the U.S. Department of Energy (DOE), Environmental Management (EM) Nevada Program’s Underground Test Area (UGTA) Activity at Corrective Action Unit (CAU) 99, Rainier Mesa/Shoshone Mountain (RM/SM), at the Nevada National Security Site (NNSS), Nevada. This report also presents analytical laboratory results (including results of quality assurance/quality control samples, such as field duplicates [FDs]), and verification of use restrictions (URs), institutional controls, and water usage. Groundwater samples were collected; water levels were measured; and well site surveillance was conducted in support of the Underground Test Area Closure Report (CR) for Corrective Action Unit 99: Rainier Mesa/Shoshone Mountain, Nevada National Security Site, Nevada (DOE/EMNV, 2020). Rainier Mesa (RM) was the site of 61 underground nuclear tests, and Shoshone Mountain (SM) was the site of 6 underground nuclear tests. As a result of these activities, which took place from 1957 to 1992, radionuclides (RNs) were released in the subsurface in the vicinity of the detonations. These 67 underground nuclear tests are associated with 66 specific corrective action site (CAS) numbers, as listed in the Federal Facility Agreement and Consent Order (FFACO) (1996, as amended). Two tests, HURON LANDING and DIAMOND ACE (conducted simultaneously), are included within one CAS. The CR (DOE/EMNV, 2020) establishes the regulatory boundaries and regulatory boundary objectives, monitoring program, UR boundaries and URs, and other institutional controls agreed to by EM Nevada Program and the Nevada Division of Environmental Protection (NDEP) for closure of CAU 99. Regulatory boundaries for the RM/SM CAU were established to protect receptors of groundwater from RN contamination within the three downgradient groundwater basins that receive recharge from RM. The SM regulatory boundary was established to verify that RN contamination does not reach the lower carbonate aquifer below SM. The UR boundaries were established based on contaminant simulation forecasts from the flow and transport simulations with consideration of site-specific topographical controls. The URs associated with the UR boundaries were identified to protect onsite workers and the public from inadvertent exposure to contaminated groundwater as forecasted to occur assuming current conditions. The UR is intended to restrict activities that might expose workers to contaminated groundwater within the UR area. In addition to the URs, other institutional controls are established to monitor and limit access to groundwater. These include federal ownership and management in perpetuity, controlled access of the NNSS and surrounding areas, and reporting water use on the NNSS and surrounding hydrographic basins.

54 ENVIRONMENTAL SCIENCES↗

Integrated Solutions for Optimized Performance (ISOP) Final Technical Report

The goal of this project was to demonstrate technical feasibility of an integrated approach for deep energy retrofits by packaging innovative technologies with smart communicating controls that represent the next generation of energy efficiency. The integrated solutions for optimized performance (ISOP) package integrates (i) advanced lighting and plug load controls; (ii) intelligent daylight harvesting through automated self-powered shades and window films; (iii) advanced HVAC controls sequences (ASHRAE Guideline (GDL) 36); and (iv) fault detection and diagnosis (FDD) and continuous commissioning (CCx) using advanced analytics. These technologies address energy use across multiple building end uses that represent more than 60% of the energy consumption in all commercial buildings. The project was structured to be implemented over three budget periods: Budget Period 1 scope included site selection, project design, site-specific customization of technology packages, procurement of technologies, initiation of installation of technologies, the development of a measurement and verification plan and collection of pre-retrofit data collection. The first year go/no-go decision was based on securing host sites representing 250,000 sq. ft. of occupied operational spaces, savings analysis, technology procurement and initiation of installation. Budget Period 2 planned to complete technology installations and initiate data collection of post-retrofit performance data. The second year go/no-go was to be the completion of technology installations and commissioning, metering and data collecting to support the requirements laid out in site specific M&V plans. Budget Period 3 planned to collect and analyze post-retrofit performance data and provide data and reporting to support energy efficiency rebate programs. After the team completed activities planned for Budget Period 1, the team reached a Go/No-Go Decision Point. At that point, TRC recommended that DOE discontinue the project without prejudice due to challenges with securing demonstration sites to meet the full 250,000 sf of occupied operational spaces and DOE concurred. In Budget Period 1, the TRC team developed criteria to recruit and evaluate potential demonstration host sites. TRC worked with Princeton University, the project demonstration partner, to identify buildings on their campus as potential candidates for the demonstration. Following the selection of demonstration sites, the TRC team customized energy technology packages according to the needs and characteristics of each site. TRC defined technology specifications, identified vendors, and conducted analysis to estimate energy and cost savings potential. The project team then developed schedules for technology procurement processes and scheduled for installation at all selected demonstration sites. The project team worked with Princeton University and DOE to develop an approach to verify energy savings achieved through measurement and verification (M&V) 2.0 methods. Princeton University initiated open bids to procure the necessary materials and installation contractors. Bid results came back higher than estimates due to a couple of factors – lack of familiarity of the bidders with the proposed technologies and lack of local trained installers to execute the installation of these new measures. Due to the higher bids, projects no longer met the internal cost-effectiveness criteria used by Princeton to proceed with procurement of the full suite of technologies as proposed in ISOP. Princeton had already procured parts of the ISOP package as part of a campus-wide initiative for FDD and lighting retrofits, but with the higher costs for other ISOP components, Princeton could no longer commit to the full ISOP package on the selected sites. Based on this, the team reached the Go/No-Go decision point, where they decided not to proceed with the project. Princeton is separately installing portions of the ISOP package where they individually meet Princeton’s payback criteria but on a different schedule than would have been needed for the DOE ISOP project. The team has learned several lessons from project progress in the first budget period. The team will utilize these lessons in future projects, as should any team which proceeds with a project around the ISOP technology. The first lesson is that more information about the proposed sites is required earlier in the process (perhaps even at the proposal stage) in order to have a successful demonstration. Technical details not evident earlier in the process (such as the TLED limitations for ALCS) can derail project execution. The second lesson is that pricing of emerging technologies is highly variable due to lack of familiarity of local installers and distributor with the proposed technologies as well as alternate bids using products they were more familiar with, but that cost more than the ones proposed by TRC. Finally, the last major lesson is that the host site’s internal project criteria is of critical importance. Based on these higher installed costs and lack of an informed installer base for the products proposed for this project, the project does not meet Princeton’s simple payback goals of five years.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Certified randomness using a trapped-ion quantum processor

Although quantum computers can perform a wide range of practically important tasks beyond the abilities of classical computers, realizing this potential remains a challenge. An example is to use an untrusted remote device to generate random bits that can be certified to contain a certain amount of entropy. Certified randomness has many applications but is impossible to achieve solely by classical computation. Here we demonstrate the generation of certifiably random bits using the 56-qubit Quantinuum H2-1 trapped-ion quantum computer accessed over the Internet. Our protocol leverages the classical hardness of recent random circuit sampling demonstrations: a client generates quantum ‘challenge’ circuits using a small randomness seed, sends them to an untrusted quantum server to execute and verifies the results of the server. We analyse the security of our protocol against a restricted class of realistic near-term adversaries. Using classical verification with measured combined sustained performance of 1.1 × 10 18 floating-point operations per second across multiple supercomputers, we certify 71,313 bits of entropy under this restricted adversary and additional assumptions. Our results demonstrate a step towards the practical applicability of present-day quantum computers.

computer science↗

Assuring and Securing Machine Learning

A short presentation highlighting using machine learning and topological data analysis to address the challenges of assuring and securing machine learning enabled systems.

Machine Learning↗

CY2020 Annual Closure Monitoring Report for Corrective Action Unit 98: Frenchman Flat, Underground Test Area, Nevada National Security Site, Nevada (January 2020–December 2020, Revision 1)

This report presents the results of monitoring conducted for water quality, water levels, and institutional controls in calendar year (CY) 2020 by the U.S. Department of Energy (DOE), Environmental Management (EM) Nevada Program’s Underground Test Area (UGTA) Activity at Corrective Action Unit (CAU) 98, Frenchman Flat (FF), at the Nevada National Security Site (NNSS), Nevada (Figure 1-1). This report also presents analytical laboratory results (including results of quality assurance/quality control samples, such as field duplicates [FDs]); and verification of use restrictions (URs), institutional controls, and water use. Groundwater samples were collected; water levels were measured; and well site surveillance was conducted in support of the Underground Test Area (UGTA) Closure Report for Corrective Action Unit 98: Frenchman Flat, Nevada National Security Site, Nevada (NNSA/NFO, 2016) and its ensuing Records of Technical Change (ROTCs).

54 ENVIRONMENTAL SCIENCES↗

Magnetic Smart Tags (MaST) for Arms Control and Treaty Verification

The ability to track nuclear material is a challenge for resiliency of complex systems, e.g., harsh environments. RF tags, frequently used in national security applications, cannot be used for technological, operational, or safety reasons. Magnetic Smart Tags (MaST) is a novel tag technology based on magnetoelastic sensing that circumvents these issues. This technology is enabled by a new, cost-effective, batch manufacturing electrochemical deposition (ECD) process. This new advancement in fabrication enables multi-frequency tags capable of providing millions of possible codes for tag identification unlike existing theft deterrent tags that can convey only a single bit of information. Magnetostrictive 70% Co: 30% Fe was developed as the base alloy comprising the magnetoelastic resonator transduction element. Saturation magnetostriction, λ S , has been externally measured by the Naval Research Laboratory to be as high as 78 ppm. Description of a novel MEMS variable capacitive test structure is described for future measurements of this parameter.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

Momentum informed muon scattering tomography for monitoring spent nuclear fuels in dry storage cask

Development of an effective monitoring method for spent nuclear fuel (SNF) in a dry storage cask (DSC) is important to meet the increasing demand for dry storage investigations. The DSC investigation should provide information about the quantity of stored SNF, and quality assurance of materials should be possible without opening the cask. However, traditional nondestructive examination (NDE) methods such as x-rays are difficult to deploy for DSC investigation because a typical DSC is intentionally designed to shield against radiation. To address this challenge, cosmic ray muons (CRMs) are used as an alternative NDE radiation probe because they can easily penetrate an entire DSC system; however, a wide application of muons is often hindered due to the naturally low CRM flux (~10 4 muons/m 2 /min). This paper introduces a newly proposed imaging algorithm, momentum-informed muon scattering tomography (MMST) , and presents how a limitation of the current muon scattering tomography technique has been addressed by measuring muon momentum. To demonstrate its functionality, a commercial DSC with 24 pressurized light water reactor fuel assemblies (FAs) and the MMST system were designed in GEANT4. Three noticeable improvements were observed for MMST system as a DSC investigation tool: (1) a signal stabilization, (2) an enhanced capability to differentiate various materials, and (3) statistically increased precision to identify and locate missing FAs. The results show that MMST improves the investigation accuracy from 79 to 98% when one FA is missing and 51% to 88% when one-half FA is missing. The advancement of the NDE technique using CRM for DSC verification is expected to resolve long-standing problems in increasing demand for DSC inspections and nuclear security.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Recommendations for Radiological Data Assessment Implementation

Since thorough verification, validation, and data quality assessment (DQA) processes may delay incident commanders and elected and appointed officials from making key decisions, the U.S. Department of Homeland Security (DHS) National Urban Security Technology Laboratory (NUSTL) tasked Pacific Northwest National Laboratory (PNNL) to develop tools and guidance for the federal, state, local, tribal, and territorial (FSLTT) responders using research, discussions with select FSLTT responders, and the experiences of subject matter experts in incident response. This report provides NUSTL with recommendations on best practices for verification, validation, and data quality assessment for the data collected by responders during a radiological or nuclear event. The purpose of this report is to inform the development of a DQA toolkit aimed at the needs of data assessors during the response to a radiological incident.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

Measuring Very Low Radiation Doses in PTFE for Nuclear Forensic Enrichment Reconstruction

Every country that has made nuclear weapons has used uranium enrichment. Despite the centrality of this technology to international security, there is still no reliable physical marker of past enrichment that can be used to perform forensic verification of historically produced weapons. We show that the extremely low radioactivity from uranium alpha emissions during enrichment leaves detectable and irreversible calorimetric signatures in the common enrichment gasket material PTFE, allowing for historical reconstruction of past enrichment activities at a sensitivity better than one weapon's quantity of highly enriched uranium. Fast scanning calorimetry also enables the measurement of recrystallization enthalpies of sequentially microtomed slices, confirming the magnitude and the type of radiation exposure while also providing a detection of tampering and a method for analyzing field samples useful for treaty verification. This work opens the door for common items to be turned into precise dosimeters to detect the past presence of radioactivity, nuclear materials, and related activities with high confidence.

Connick, Rachel↗

Software Quality Assurance Plan for the Geochemist’s Workbench®

The Geochemist’s Workbench® (GWB) Release 10.0.10 is a geochemical modeling suite for simulating the reactive fate and transport of radionuclides and other metals in aqueous systems including groundwater, surface water, soil, and sediment. At the Savannah River National Laboratory, GWB plays an important role in the preparation of Performance Assessments involving cementitious materials. The software classification for GWB is Level “C.” GWB was purchased from Aqueous Solutions LLC and came into existence outside of the Software Quality Assurance procedures; therefore, it is considered “existing/acquired” software. This Software Quality Assurance Plan addresses verification techniques and the required life cycle components for Level “C” existing/acquired software (i.e., “Evaluation,”“Configuration Control,” and “Cyber Security Analysis”) with other elements optionally applied using a graded approach.

58 GEOSCIENCES↗

Cyber Protection of Grid-Connected Devices Through Embedded Online Security

Cybersecurity research regarding the electric power grid has primarily been focused on protecting the communication layer of grid-connected devices against cyber-attack threats. Although many developed methods have greatly reduced the effects of a cyber-attack on the vulnerabilities of grid-connected devices, discovering new vulnerabilities is inevitable and a constant threat. As a result, the overall reliability and security of network communications with regard to grid-connected devices is a concern. Here, this paper proposes a method that further secures a system by focusing on the control and hardware layer of grid-connected devices. The device’s controller firmware will be validated and authenticated using integrated device emulation resources prior to being activated to control the grid-connected device. This verification process is performed while the controller is online and actively controlling power flows related to the device. Therefore, an attack to the system through a malicious firmware patch would be detected by the online security and rejected while safely maintaining continuous and stable control of the device. This method integrates the concepts of firmware hot-patching, digital twins, and active monitoring into an overall cybersecurity protection system.

cybersecurity↗

A physically cryptographic warhead verification system using neutron induced nuclear resonances

Arms control treaties are necessary to reduce the large stockpiles of the nuclear weapons that constitute one of the biggest dangers to the world. However, an impactful treaty hinges on effective inspection exercises to verify the participants’ compliance to the treaty terms. Such procedures would require verification of the authenticity of a warhead undergoing dismantlement. Previously proposed solutions lacked the combination of isotopic sensitivity and information security. Here we present the experimental feasibility proof of a technique that uses neutron induced nuclear resonances and is sensitive to the combination of isotopics and geometry. The information is physically encrypted to prevent the leakage of sensitive information. Our approach can significantly increase the trustworthiness of future arms control treaties while expanding their scope to include the verified dismantlement of nuclear warheads themselves.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Advanced Inversion Algorithms for Scientific Data Analysis [Slides]

Accurate subsurface characterization is crucial for all subsurface energy exploration. Accurate characterization of uncertain subsurface properties is also critical for monitoring storage of CO 2 , estimating pathways of subsurface contaminant transport, and monitoring potential nuclear explosions for treaty verification. This research will advance our world-leading subsurface sensing capabilities that are crucial for LANL missions in energy security (geothermal energy, oil/gas resource exploration, geologic carbon storage) and nuclear security (facility monitoring, detonation detection).

47 OTHER INSTRUMENTATION↗

New Experiments for Detecting Emissions from Fission

Ensuring that nuclear science and technology is used solely for peaceful purposes is one of the most pressing challenges facing our society. The Consortium for Monitoring, Technology, and Verification (MTV) mission is to help meet this challenge by providing advanced technology and trained talent for careers in nuclear security and nonproliferation. The study of nuclear fission is one area of interest in the MTV. We are performing new experiments for the characterization of neutron and gamma ray emissions from fission fragments. These emissions are signatures for the detection and characterization of nuclear materials. To perform these experiments, we have developed Fission Sphere (FS-3), an array of forty organic stilbene detectors operated in time-coincidence. The FS-3 is used to measure the prompt emissions of neutrons and gamma rays from Cf-252 spontaneous fission. These new data will be used to validate physics-based prediction codes, including CGMF and FREYA, and will be useful in future ENDF and ENSDF evaluations. This paper will present results from the first experiments using FS-3 and a Cf-252 spontaneous fission source. It will compare the experimental results with predictions from theory and Monte Carlo simulation. Specifically, we will describe the correlations among energy, multiplicity, and angles of emitted particles. We will also discuss the application of these correlations in multiplicity counting techniques, which are widely used in nuclear safeguards.

Pozzi, S. A.↗

Rich-Text based PSA Model Transformation and Verification in RiskA

Nuclear Energy is one of the most possible alternative to fossil energy in large-scale. Nuclear safety is the lifeline of nuclear energy development, and has been an important part of national security, especially after the accident of Fukushima. On the basis of computer codes, reliability engineering and Probabilistic Risk Assessment (PSA) is effective methods to improve the safety of nuclear power plants. After many years of development, the methodologies, applications and relevant soft programs have been quite sufficient in the area of nuclear safety. However, it is still difficult for the current PSA technologies and software to meet the needs of dealing with the problems of quantitatively public risk assessment in the digital society. Especially, there are so many software that adopted different modeling and analyzing methods, which brings difficulties to the comparison, evaluation or verification for different software and models. By using its own academic advantages, the advanced nuclear energy research team, i.e., FDS Team has invested a few hundreds person-years of independent research and development of a reliability and probabilistic safety assessment software system RiskA. The system consists of three main functions: device reliability optimization management, probabilistic safety assessment and instantaneous risk monitoring, and the comprehensive public risk assessment in digital society. RiskA establishes an integrated risk evaluation system for the device reliability, nuclear power plant (NPP) risk monitoring and public risk assessment. Currently, RiskA has successfully been applied in more than 600 organizations and institutes from a variety of fields in 39 countries, involving nuclear, aerospace, defense and so on. For example, RiskA has been used in the safety analysis of International Thermonuclear Experimental Reactor (ITER), FDS series fusion reactor, and the Strategic Priority Research Program of Chinese Academy of Sciences 'the Future Advanced Nuclear Fission Energy - Accelerator Driven Sub-critical (ADS) transmutation system'. Also, RiskA has been used in public risk communication and risk assessment. Among them, Third Qinshan nuclear power plant Risk Monitor (TQRM), which is the China's first domestic nuclear safety analysis software used in the actual online operation, has been highly apprised by renowned experts in the field. Meanwhile, it has been identified as the first domestic nuclear power plant risk monitoring system with completely independent intellectual property rights, and has reached the international advanced level. (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗