A Type-based Approach to Separating Protocol from Application Logic.
Conference
·
OSTI ID:1060467
Abstract Not Provided
- Research Organization:
- Sandia National Laboratories
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1060467
- Report Number(s):
- SAND2012-7903C
- Country of Publication:
- United States
- Language:
- English
Similar Records
Model-Based Approach to HRA: Example Application and Quantitative Analysis.
Emulation Methodology of Programmable Logic Controllers for Cybersecurity Applications.
EMULATION METHODOLOGY OF PROGRAMMABLE LOGIC CONTROLLERS FOR CYBERSECURITY APPLICATIONS.
Conference
·
Wed Feb 29 23:00:00 EST 2012
·
OSTI ID:1068390
Emulation Methodology of Programmable Logic Controllers for Cybersecurity Applications.
Conference
·
Wed Jul 01 00:00:00 EDT 2020
·
OSTI ID:1808020
EMULATION METHODOLOGY OF PROGRAMMABLE LOGIC CONTROLLERS FOR CYBERSECURITY APPLICATIONS.
Conference
·
Tue Dec 31 23:00:00 EST 2019
·
OSTI ID:1764093