Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “attack identification”

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

JTAG-based PLC memory acquisition framework for industrial control systems

In industrial control systems (ICS), programmable logic controllers (PLC) are the embedded devices that directly control and monitor critical industrial infrastructure processes such as nuclear plants and power grid stations. Cyberattacks often target PLCs to sabotage a physical process. A memory forensic analysis of a suspect PLC can answer questions about an attack, including compromised firmware and manipulation of PLC control logic code and I/O devices. Given physical access to a PLC, collecting forensic information from the PLC memory at the hardware-level is risky and challenging. It may cause the PLC to crash or hang since PLCs have proprietary, legacy hardware with heterogeneous architecture. This paper addresses this research problem and proposes a novel JTAG (Joint Test Action Group)-based framework, Kyros, for reliable PLC memory acquisition. Kyros systematically creates a JTAG profile of a PLC through hardware assessment, JTAG pins identification, memory map creation, and optimizing acquisition parameters. It also facilitates the community of interest (such as ICS owners, operators, and vendors) to develop the JTAG profiles of PLCs. Further, we present a case study of Kyros implementation over Allen-Bradley 1756-A10/B to help understand the framework's application on a real-world PLC used in industry settings. The sample PLC memory dumps are shared with the research community to facilitate further research.

Rais, Muhammad Haris↗

Aerodynamic Parameter Estimation Using Reconstructed Turbulence Measurements

A classical method for reconstructing atmospheric turbulence from onboard measurements of airdata and inertial sensors was improved and implemented for real-time computation. The reconstructed turbulence measurements were then included in a system identification analysis to estimate nondimensional stability and control derivatives in a longitudinal short period model using the maximum likelihood equation-error method in the frequency domain with Fourier-transform data. Flight test results using a subscale transport-type airplane showed that the power spectra for the reconstructed vertical gusts resembled the von Kármán turbulence model. Flight data in moderate and severe turbulence exhibited a decorrelation of the modeling data that increased the accuracy of parameter estimation results using the reconstructed turbulence. In particular, pitch rate and angle-of-attack rate derivatives could both be identified from flight data about straight and level flight without special maneuvers or prior information.

Jared A Grauer↗

Control Law Design in a Computational Aeroelasticity Environment

A methodology for designing active control laws in a computational aeroelasticity environment is given. The methodology involves employing a systems identification technique to develop an explicit state-space model for control law design from the output of a computational aeroelasticity code. The particular computational aeroelasticity code employed in this paper solves the transonic small disturbance aerodynamic equation using a time-accurate, finite-difference scheme. Linear structural dynamics equations are integrated simultaneously with the computational fluid dynamics equations to determine the time responses of the structure. These structural responses are employed as the input to a modern systems identification technique that determines the Markov parameters of an "equivalent linear system". The Eigensystem Realization Algorithm is then employed to develop an explicit state-space model of the equivalent linear system. The Linear Quadratic Guassian control law design technique is employed to design a control law. The computational aeroelasticity code is modified to accept control laws and perform closed-loop simulations. Flutter control of a rectangular wing model is chosen to demonstrate the methodology. Various cases are used to illustrate the usefulness of the methodology as the nonlinearity of the aeroelastic system is increased through increased angle-of-attack changes.

Newsom, Jerry R.↗

Survival of epiphytic bacteria from seed stored on the Long Duration Exposure Facility (LDEF)

This study was designed to determine the survival of microorganisms exposed to the relatively harsh conditions found in low Earth orbit (LEO). Seed of corn, sunflower, canteloupe, zucchini, bean, pea, and pumpkin cultivars were packaged in two 18 x 2.5 cm aluminum tubes; wall thickness for each tube was 1.33 mm. One seed tube was attacked to payload M0006, tray C-2; a second tube was stored at room temperature in a lab on Earth. Five lithium fluoride thermoluminescent dosimetry wafers (TLD-100 wafers) were placed in each aluminum tube. The total mean dosages for flight and ground-control TLD wafers were 210.0 and 0.9 rads, respectively. Seeds were washed for 2 hrs in a phosphate buffered saline solution. Bacteria were isolated by plating samples of the seed-washings onto dilute tryptic soy agar. Pure isolates of morphologically distinct bacteria were obtained by standard microbiological procedures. Bacteria were grouped according to colony-type and preliminary identification was completed using a fatty-acid analysis system. Bacillus spp. were the primary microoganisms that survived on seed during the experiment. Bacterial diversity and relative abundance were similar for the ground flight seed. Bacillus subtilus, B. pumilus, B. licheniformis, B. polymyxa, B. megaterium, and B. pabuli were isolated most frequently. Members of the genera Kurthia, Listeria, Micrococcus, and Arthrobacter were also isolated from flight and ground control seed. Results support the hypothesis that terrestrial microorganisms can survive long periods of time in the relatively harsh LEO environment.

Schuerger, Andrew C.↗

Buffet Load Alleviation

High performance aircraft are, by their very nature, often required to undergo maneuvers involving high angles of attack. Under these conditions unsteady vortices emanating from the wing and the fuselage will impinge on the twin fins (required for directional stability) causing excessive buffet loads, in some circumstances, to be applied to the aircraft. These loads result in oscillatory stresses, which may cause significant amounts of fatigue damage. Active control is a possible solution to this important problem. A full-scale test was carried out on an F/A-18 fuselage and fins using piezoceramic actuators to control the vibrations. Buffet loads were simulated using very powerful electromagnetic shakers. The first phase of this test was concerned with the open loop system identification whereas the second stage involved implementing linear time invariant control laws. This paper looks at some of the problems encountered as well as the corresponding solutions and some results. It is expected that flight trials of a similar control system to alleviate buffet will occur as early as 2001.

Ryall, T. G.↗

Cyber Security: Big Data Think II Working Group Meeting

This presentation focuses on approaches that could be used by a data computation center to identify attacks and ensure malicious code and backdoors are identified if planted in system. The goal is to identify actionable security information from the mountain of data that flows into and out of an organization. The approaches are applicable to big data computational center and some must also use big data techniques to extract the actionable security information from the mountain of data that flows into and out of a data computational center. The briefing covers the detection of malicious delivery sites and techniques for reducing the mountain of data so that intrusion detection information can be useful, and not hidden in a plethora of false alerts. It also looks at the identification of possible unauthorized data exfiltration.

computer security↗

A Novel Authentication Management for the Data Security of Smart Grid

Bidirectional wireless communication is employed in various smart grid components such as smart meters and control and monitoring applications where security is vital. The Trusted Third Party (TTP) and wireless connectivity between the smart meter and the third party in the key management-based encryption techniques for the smart grid are expected to be totally trustworthy and dependable. In a wired/wireless medium, however, a man-in-the-middle may seek to disrupt, monitor and manipulate the network, or simply execute a replay attack, revealing its vulnerability. Recognizing this, this study presents a novel authentication management (model) comprised of two layer security schema. The first layer implements an efficient novel encryption method for secure data exchange between meters and control center with the help of two partially trusted simple servers (constitutes the TTP). In this setting, one server handles the data encryption between the meter and control center/central database, and the other server administers the random sequence of data transmission. The second layer monitors and verifies exchanged data packets among smart meters. It detects abnormal packets from suspicious sources. To implement this node-to-node authentication, One class support vector machine algorithm is proposed which takes advantages of the location information as well as the data transmission history (node identification, packet size, and data transmission frequency). This schema secures data communication, and imposes a comprehensive privacy throughout the system without considerably extending the complexity of the conventional key management scheme.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Identification of aircraft stability and control derivatives in the presence of turbulence

A maximum likelihood estimator for a linear system with state and observation noise is developed to determine stability and control derivatives from flight data obtained in the presence of turbulence. The formulation for the longitudinal short-period mode is presented briefly, including a special case that greatly simplifies the problem if the measurement noise on one signal is negligible. The effectiveness and accuracy of the technique are assessed by applying it first to simulated flight data, in which the true parameter values and state noise are known, then to actual flight data obtained in turbulence. The results are compared with data obtained in smooth air and with wind-tunnel data. The complete maximum likelihood estimator, which accounts for both state and observation noise, is shown to give the most accurate estimate of the stability and control derivatives from flight data obtained in turbulence. It is superior to the techniques that ignores state noise and to the simplified method that neglects the measurement noise on the angle-of-attack signal.

Iliff, K. W.↗

A Bilevel Approach for Identifying the Worst Contingencies for Nonconvex Alternating Current Power Systems

We address the bilevel optimization problem of identifying the most critical attacks to an alternating current (AC) power flow network. The upper-level binary maximization problem consists of choosing an attack that is treated as a parameter in the lower-level defender minimization problem. Instances of the lower-level global minimization problem by themselves are NP-hard due to the nonconvex AC power flow constraints, and bilevel solution approaches commonly apply a convex relaxation or approximation to allow for tractable bilevel reformulations at the cost of underestimating some power system vulnerabilities. Our main contribution is to provide an alternative branch-and-bound algorithm whose upper bounding mechanism (in a maximization context) is based on a reformulation that avoids relaxation of the AC power flow constraints in the lower-level defender problem. Lower bounding is provided with semidefinite programming (SDP) relaxed solutions to the lower-level problem. We establish finite termination with guarantees of either a globally optimal solution to the original bilevel problem, or a globally optimal solution to the SDP-relaxed bilevel problem which is included in a vetted list of upper-level attack solutions, at least one of which is a globally optimal solution to the bilevel problem. We demonstrate through computational experiments applied to IEEE case instances both the relevance of our contribution, and the effectiveness of our contributed algorithm for identifying power system vulnerabilities without resorting to convex relaxations of the lower-level problem. We conclude with a discussion of future extensions and improvements.

97 MATHEMATICS AND COMPUTING↗

Foundations of Molecular 'Isotomics'

The naturally occurring rare isotopes are versions of common elements, such as hydrogen, carbon and oxygen, that contain a larger than usual number of neutrons in their atomic nuclei and therefore are higher in mass than the common atoms of that element. Isotopes exist for most elements and are found in most natural and synthetic materials, but are uneven in their distribution because chemical and physical processes are isotope-selective (e.g., a chemical reaction may proceed more rapidly for one isotope than for another). For this reason, abundances of isotopes in a material of interest can provide a record, or ‘signature’ of various features of that material’s origin and history. These signatures have been used in the geo, life, chemical and physical sciences in a wide variety of ways over close to 8 decades. However, many such applications struggle to reach unique interpretations of isotopic data because multiple factors combine to control a given sample’s overall isotopic content. That is, the factors controlling isotopic content are too numerous and complex to fully constrain from a simple measurement of a material’s isotope abundances. However, the distribution of isotopes within materials, at molecular scales potentially provides a vastly larger number and diversity of constraints on the chemical and physical processes that comprise a material’s history. The rare isotopes may be concentrated into one atomic position in a molecule relative to another, some proportion of molecules in a sample may contain two or more rare isotopes, and those multiply-isotope-substituted forms of molecules may also have uneven distributions of those isotopes across individual atomic sites. For these reasons, even small, seemingly simple molecules, such as sugars, amino acids or drug compounds, actually exist in a vast number of isotopically unique forms (often millions or more), and each one of those forms is in some sense an independent ‘vote’ on that sample’s history. This project has focused on opening this rich archive of information by enabling the creation of routinely and widely applicable ways of measuring and interpreting isotopic structures of molecules. This work has included the development of core technologies and analytical methods, advancing fundamental understanding of the physical and chemical properties of isotopic versions of molecules, and conducting proof of concept studies of illustrative geochemical, cosmochemical and forensic problems in order to show how these technologies, methods and principles come together to solve problems in new ways. A key to the success of this project was the adaptation of ‘Fourier transform mass spectrometry’ (FTMS) to the task of precisely measuring proportions of the rare, naturally occurring isotopic forms of molecules. FTMS is a highly specialized form of mass spectrometry that traps ions within magnetic or electrostatic cavities and, effectively, ‘listens’ (through registering of subtle electrical signals) to the harmonic signals they make while rapidly orbiting within those cavities. These signals have periods that are a function of their mass and strength (or ‘loudness’) that is proportional to their abundances. Thus, these signals constrain relative amounts of molecules that differ in their mass due to various isotopic substitutions. This technology has been essential to the identification of organic molecules in the life, chemical and environmental sciences for over 4 decades, but generally has lacked the control, stability and precision to meaningfully measure rare isotope forms of molecules. This project’s most fundamental contribution has been to modify FTMS, both in terms of hardware and methods, to enable such measurements. The raw data of molecular isotopic structure is tremendously voluminous and complex, so another important activity of this project has been developing the theoretical and data-science tools needed to interpret the data generated by this new form of isotopic measurement. A particularly challenging part of this task has been predicting molecular isotopic structure, as only through the comparison of measurements with predictions can we make progress on hypothesis driven research questions. We have attacked this this prediction task through a combination of first-principles chemical-physics models of the effects of isotope substitution on molecule properties and data-science models that permit us to generalize that chemical physics to cases that have not yet been studied by detailed chemical physics theory. The proof of concept applications we have pursued over the course of this study include biological reactions of amino acids and other biomolecules, non-biological synthesis of organic molecules in extra-terrestrial settings such as meteorites, petroleum geoscience questions concerning the origin and evolution of natural gas, oil and kerogen compounds, and forensic questions such as the sourcing of chemical weapons. The successes of these applications have laid the groundwork for the next phase of this field’s development, which will include larger scale and more ambitious studies of molecular isotopic structure as a means of diagnosing human diseases, such as cancer, and reconstructing detailed interpretations of the origin and evolution of organic molecules in modern and geological environments.

Cesar, Jaime↗

LCF Life of As-Deposited and Annealed NiCr-Y Coatings for Oxidation and Hot Corrosion Protection of Disk Alloys

Increasing temperatures in aero gas turbines is resulting in oxidation and hot corrosion attack of turbine disks. Since disks are sensitive to low cycle fatigue (LCF), any environmental attack, and especially hot corrosion pitting, can seriously degrade the life of the disk. Application of metallic coatings is one means of protecting disk alloys from this environmental attack. However, the presence of a metallic coating can degrade the LCF life of a disk alloy. Therefore, coatings must be designed which are not only resistant to oxidation and corrosion attack, but do not significantly degrade the LCF life of the alloy.Three different NiCr-Y coating compositions (29, 35.5, 44 wt.% Cr, all with 0.1 wt.% Y) were applied at two thicknesses by Plasma Enhanced Magnetron Sputtering (PEMS) to two similar Ni-based disk alloys. One Ni-35.5Cr-0.1Y coating also received a thin ZrO2 overcoat. The coated samples were also given a short thermal anneal in a low PO2 environment to encourage bonding of the coating and substrate as well as initiating formation of a chromia scale. Without further environmental exposure, the LCF life of coated and uncoated samples was evaluated at 760°C in air. The LCF lifetime of all coated samples was less than that of uncoated samples. The LCF life scaled with the Cr content and the high-Cr, thin coating showed the highest LCF life. Pre and post-test characterization of the various coatings, including identification of crack initiation sites, will be presented and the effect of the coating on the LCF life discussed.

low cycle fatigue↗

Development of a CNS-permeable reactivator for nerve agent exposure: an iterative, multi-disciplinary approach

Nerve agents have experienced a resurgence in recent times with their use against civilian targets during the attacks in Syria (2012), the poisoning of Sergei and Yulia Skripal in the United Kingdom (2018) and Alexei Navalny in Russia (2020), strongly renewing the importance of antidote development against these lethal substances. The current standard treatment against their effects relies on the use of small molecule-based oximes that can efficiently restore acetylcholinesterase (AChE) activity. Despite their efficacy in reactivating AChE, the action of drugs like 2-pralidoxime (2-PAM) is primarily limited to the peripheral nervous system (PNS) and, thus, provides no significant protection to the central nervous system (CNS). This lack of action in the CNS stems from their ionic nature that, on one end makes them very powerful reactivators and on the other renders them ineffective at crossing the Blood Brain Barrier (BBB) to reach the CNS. In this report, we describe the use of an iterative approach composed of parallel chemical and in silico syntheses, computational modeling, and a battery of detailed in vitro and in vivo assays that resulted in the identification of a promising, novel CNS-permeable oxime reactivator. Additional experiments to determine acute and chronic toxicity are ongoing.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Aeroacoustic Computations of a Generic Low Boom Concept in Landing Configuration: Part 3 - Aerodynamic Validation and Noise Source Identification

Wind tunnel test data were used to validate the predicted aerodynamic behavior of a 15%-scale version of a generic, low-boom aircraft. The test was conducted in the NASA Langley 14- by 22-Foot Subsonic Tunnel to determine the low-speed aerodynamic characteristics of the model. Measured steady surface pressures and global forces were used to validate predicted aerodynamic results obtained from high-fidelity simulations of the model as installed in the tunnel. Very good agreement between predicted and measured aerodynamic trends was demonstrated, providing the impetus to proceed with companion airframe noise simulations that were conducted in a free-air setting. Computed near-field flow variables acquired on a permeable data surface were used to generate synthetic pressure records for two 800-element phased microphone arrays positioned overhead and to the side of the model. The array data were beamformed to generate noise source localization maps for the clean model and several landing configurations. Primary and secondary airframe sources were identified and their relative strengths were determined. Far-field integrated noise spectra for the full aircraft, as well as individual components, were obtained from the source maps via integration of tailored regions. The analysis showed that noise produced by the landing gear was the dominant contributor to the far-field acoustic signature of the model, followed by flap noise. The effects of permeable data surface end caps, spatial resolution, array orientation, angle of attack, component interaction, velocity scaling, and numerical precision on synthetic far-field spectra were also evaluated.

low boom↗

Supporting Hazard Analysis for Wildfire Response Using fmdtools and MIKA

The System Wide Safety (SWS) Safety Demonstrator (SD) Series drives development of an increasingly capable In-Time Aviation Safety Management System (IASMS) focusing on humanitarian applications, starting with wildfire response (SD-1). The goals of this report are to (1) provide an early hazard analysis and mitigation evaluation of wildfire response to support these efforts and (2) provide a demonstration of capabilities of the Fault Model Design Tools (fmdtools) and Manager for Intelligent Knowledge Access (MIKA) tools. fmdtools provides a modeling, simulation, and resiliency analysis framework in which a wildfire response model, the System Modeling and Analysis of Resiliency in Scalable Traffic Management for Emergency Response Operations (SMARt-STEReO), is built. MIKA is an intelligent knowledge manager with several capabilities, including assisting in hazard analysis by extracting and analyzing hazards from historical incident reports. The following topics are covered in the report: Understanding Wildfire Hazard Dynamics. We provide a description and simulated examples of how hazards occur in the SMARt-STEReO model of wildfire response and their effect on its outcome. This provides a common mental model and focuses the analysis presented in the remainder of the report. Wildfire Hazard Identification. MIKA identifies wildfire hazards from three relevant datasets: the ICS-209-PLUS, SAFECOM, and SAFENET. Hazards are manually organized into a taxonomy and MIKA analyzes each hazard’s effects, likelihood, severity, and risk. Evaluating Mitigation Strategies. The SMARt-STEReO wildfire response model built in fmdtools evaluates a subset of identified hazards. Specifically, we simulate the effect of communications faults and equipment faults on operator safety, the effect of changing winds and flammability, and a scenario with multiple ignition points and heavy smoke. Tool Limitations and Usage Considerations. We provide a discussion of appropriate tool use cases as well as limitations and considerations for usage. The tool findings are used to synthesize recommendations for wildfire response operations, which can be captured as part of an IASMS. Key recommendations are as follows: Hazards are identified from a broad spectrum of sources including aircraft subsystems, operational sources, and ground crew operations. Highest risk operational environment hazards identified are Evacuations. The highest risk manned aerial operations hazard categorized is Jumper Operations Mishap. Ground crew hazards that are highest risk are Burns, Cargo Operations Overhead, Dehydration, Entrapment, Falling Objects, Heart Attacks, Heat Exhaustion, Inadequate Training or Certification, Vehicle Breakdown, and Vehicle Collision. Modelled containment failures arise from a mismatch between the difficulty of the firefighting scenario and the capacity (e.g., speed, effectiveness, awareness) of the response. In firefighting scenarios where containment is possible (e.g., because the fire does not spread too quickly), these mismatches can occur because of a change in environmental conditions (e.g., wind, flammability, etc) or because of planning, equipment, or communications faults. Improvements to communications increase the capacity of the firefighting response by reducing the time needed to respond to the fire. While surveillance does not increase this capacity by itself, it increases operator safety by increasing state awareness, enabling firefighters to evade approaching fires. Increasing both has a synergistic effect. In general, these performance and resilience increases generalize over fault scenarios as well as unforeseen changes to circumstances (i.e., wind, aridity, etc.). However, these improvements need to be designed so as not to make the system prone to persistent large-scale communications outages, which can reduce performance.

Hazard analysis↗

Locating fast-varying line disturbances with the frequency mismatch

In an attempt to provide an efficient method for line disturbance identification in complex networks of diffusively coupled agents, we recently proposed to leverage the frequency mismatch. The frequency mismatch filters out the intricate combination of interactions induced by the network structure and quantifies to what extent the trajectory of each agent is affected by the disturbance. In this previous work, we provided some analytical evidence of its efficiency when the perturbation is assumed to be slow. Here we claim that the frequency mismatch performs actually well for most disturbance regimes. This is shown through a series of simulations and is backed up by an analytical argument. Therefore, we argue that the frequency mismatch is an efficient and elegant tool for line disturbance location in complex networks of diffusively coupled agents.

97 MATHEMATICS AND COMPUTING↗

Gridtrust: Electricity Grid Root-of-Trust Decentralized Supply Chain Cyber-Security (Final Scientific/Technical Report)

GridTrust represents a departure from reliance on a single organization or a single person to multiple organizations and therefore multiple people across organizational structures. The motivating idea behind involving multiple organizations is the increase in security due to human factors. More specifically, the requirement that distinct people in different organizations sign off on a change or an update makes a cyberattack much less likely due to the inherent requirement that both organizations be penetrated and fooled. GridTrust focuses on the software update process as the primary exemplar for the research and development work. A novel hardware-based technology referred to as a Physical Unclonable Function (PUF) provides a microchip Root-of-Trust (RoT), i.e., a starting point for verifying that the hardware being communicated with is the hardware the control center believes the hardware to be. As a result, staff at power grid control centers can ensure the accurate and reliable identification of hardware devices from the outset. The GridTrust protocol introduces two key innovations, as detailed in this report. Firstly, the utilization of a PUF as a root-of-trust in the initial phase of a software or firmware update. Secondly, the application of multiple cryptographic signatures from two or more organizations to the update binary. These signatures are verified before implementing the update on a power grid device in the field. In terms of GridTrust hardware design, this report outlines two main components. The first is the GridTrust Native Device, integrating PUF technology intrinsically into the hardware device itself. The second is the GridTrust Interfacing Device, which incorporates PUF technology and multiple cryptographic signatures. These signatures are cross-checked within a separate hardware positioned between the power grid control center and the legacy power grid device, functioning as an intermediary. While the GridTrust Interfacing Device offers the advantage of being applicable to existing power grid equipment, it may have reduced security if the intermediary component is targeted. On the other hand, the GridTrust Native Device boasts increased security due to protocol integration within a unified form factor. The effectiveness of GridTrust technology has been extensively demonstrated, with multiple external red-team attackers unable to breach GridTrust's security measures. This was observed both in controlled laboratory settings during Phase 1 of the project and in real-world conditions within a City of Marietta substation during Phase 2 of the project.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Quantum Key Distribution for Critical Infrastructures: Towards Cyber-Physical Security for Hydropower and Dams

Hydropower facilities are often remotely monitored or controlled from a centralized remote control room. Additionally, major component manufacturers monitor the performance of installed components, increasingly via public communication infrastructures. While these communications enable efficiencies and increased reliability, they also expand the cyber-attack surface. Communications may use the internet to remote control a facility’s control systems, or it may involve sending control commands over a network from a control room to a machine. The content could be encrypted and decrypted using a public key to protect the communicated information. These cryptographic encoding and decoding schemes become vulnerable as more advances are made in computer technologies, such as quantum computing. In contrast, quantum key distribution (QKD) and other quantum cryptographic protocols are not based upon a computational problem, and offer an alternative to symmetric cryptography in some scenarios. Although the underlying mechanism of quantum cryptogrpahic protocols such as QKD ensure that any attempt by an adversary to observe the quantum part of the protocol will result in a detectable signature as an increased error rate, potentially even preventing key generation, it serves as a warning for further investigation. In QKD, when the error rate is low enough and enough photons have been detected, a shared private key can be generated known only to the sender and receiver. We describe how this novel technology and its several modalities could benefit the critical infrastructures of dams or hydropower facilities. The presented discussions may be viewed as a precursor to a quantum cybersecurity roadmap for the identification of relevant threats and mitigation.

97 MATHEMATICS AND COMPUTING↗

ALH84001: The Key to Unlocking Secrets About Mars-15 Years and Counting

From the December 27, 1984 discovery of ALH84001, and its subsequent identification as a sample of Mars in 1993, mystery and debate has surrounded the meteorite. With the realization that the ALH84001 sample was a orthopyroxenite and one of the oldest SNC meteorites (~4.09 Ga) available to study, important and critical information about the Martian hydrosphere and atmosphere along with the early history and evolution of the planet could be obtained by studying the unique carbonate globules (~3.9 Ga) in the sample. The initial work showed the carbonate globules were deposited within fractures and cracks in the host-orthopyroxene by low-temperature aqueous fluids. Ideas that the carbonates were formed at temperatures approaching 800oC were ruled out by later experiments. The 1996 announcement by McKay et al. that ALH84001 contained features which could be interpreted as having a biogenic origin generated considerable excitement and criticism. The NASA Administrator Dan Golden said the 1996 ALH84001 announcement saved NASA s Mars planetary exploration program and injected $6 billion dollars over five years into the scientific research and analysis efforts. All of the original four lines of evidence for possible biogenic features within ALH84001 offered by McKay et al. have withstood the test of time. Criticism has been directed at the interpretation of the 1996 analytical data. Research has expanded to other SNC meteorites. Despite the numerous attacks on the ideas, the debate continues after 15 years. The 2009 paper by Thomas-Keprta et al. on the origins of a suite of magnetites within the ALH84001 has offered strong arguments that some of the magnetites can only be formed by biogenic processes and not from thermal decomposition or shock events which happened to the meteorite. NASA s Astrobiology Institute was formed from the foundation laid by the ALH84001 hypothesis of finding life beyond the Earth. The strong astrobiology outreach programs have expanded because of the work done on the Martian meteorites. Despite the criticism on the biogenic-like features in ALH84001, the meteorite has opened a window into the early history of Mars. Clearly low-temperature fluids have left their signatures within the ALH84001 meteorite and subsequent cratering events on Mars have been recorded on observable features within the meteorite. The 15 years of detailed study on ALH84001 and its unique carbonate globules have clearly shown formational and secondary processes at work on Mars. The evidence for biogenic processes operating on early Mars along with ground water activity within the last 15% of the life of Mars offers clear evidence that another niche for life may be possible within our solar system. Now we need a well-documented Mars sample return mission.

Gibson, Everett K.↗