Security System Effectiveness Calculator - template
Abstract not provided.
97 MATHEMATICS AND COMPUTING↗
SEARCH · Engineering Papers
Results for “System 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.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Secure System Composition and Type Checking using Cryptographic Proofs [Slides]
We can use formal methods to verify that systems compose correctly without the possibility of incorrect behavior. This means exhaustively checking that System A’s postconditions agree with System B’s preconditions. If so, it is safe to compose. Normal Setting: Every computational path must be accounted for and checked. Verification cost (time) is multiplicative across systems.
97 MATHEMATICS AND COMPUTING↗
Secure System Composition and Type Checking using Cryptographic Proofs [Slides]
We can use formal methods to verify that systems compose correctly without the possibility of incorrect behavior. This means exhaustively checking that System A’s postconditions agree with System B’s preconditions. If so, it is safe to compose.
97 MATHEMATICS AND COMPUTING↗
Insights for Systems Security Engineering from Multilayer Network Models.
Abstract not provided.
Williams, Adam David↗
Secure System Composition and Type Checking using Cryptographic Proofs [Slides]
By using zkSNARKs to prove that values have specific dependent types, it is possible to provably assure compatibility and correctness without revealing sensitive information and extend our trusted computing base well beyond our own system. The approach we developed expands the scope of what non-interactive zero-knowledge proofs can capture to include properties about both the execution and correctness of programs.
97 MATHEMATICS AND COMPUTING↗
Logical Foundations for Protecting Materials and Facilities from those with Malicious Intent?Proposed 1st Principles for Security Systems.
Abstract not provided.
Caskey, Susan↗
Early Results from Applying a Multilayered Network Framework to Engineering Nuclear Security Systems.
Abstract not provided.
Williams, Adam↗
Resilience-Based Performance Measures for Next-Generation Systems Security Engineering.
Abstract not provided.
Williams, Adam↗
LEVERAGING RESILIENCE METRICS TO SUPPORT ANALYSIS OF SECURITY SYSTEMS.
Abstract not provided.
Caskey, Susan↗
Applying Lessons Learned From the COVID‐19 Global Pandemic to Increase Radioactive Source Security System Resilience.
Abstract not provided.
Swinney, Ryan↗
Lessons Learned from Virtual Execution of Security System Evaluations During the COVID-19 Global Pandemic.
Abstract not provided.
Smith, Bryce↗
Multilayer Network Models for Coordinating Orchestration of Systems Security Engineering .
Abstract not provided.
Williams, Adam↗
COMPARATIVE RESULTS FROM APPLYING A MULTILAYERED NETWORK FRAMEWORK TO ENGINEER NUCLEAR SECURITY SYSTEMS.
Abstract not provided.
Williams, Adam↗
Zero Trust application: Cyber-Physical System Security
Explore the source record for details and available documents.
Choi, Sung Nam↗
Power System Security: Mitigate Electric Grid Wildfire Ignitions
Explore the source record for details and available documents.
Pierre, Brian Joseph [Sandia National Laboratories↗
Power System Security: Electric Grid Wildfire Mitigation
Explore the source record for details and available documents.
Pierre, Brian Joseph [Sandia National Laboratories↗
Market analysis of seismic security systems
This report provides information on the commercialization potential of the NASA Activity Monitor. Data on current commercially available products, market size, and growth are combined with information on the NASA technology and the projected impact of this technology on the market.
Taglio, S.↗