Emulation automation and model checking
Abstract
A method of automating emulations is provided. The method comprising collecting publicly available network data over a predefined time interval, wherein the collected network data might comprise structured and unstructured data. Any unstructured data is converted into structured data. The original and converted structured data is stored in a database and compared to known network vulnerabilities. An emulated network is created according to the collected network data and the comparison of the structured data with known vulnerabilities. Virtual machines are created to run on the emulated network. Director programs and guest actor programs are run on the virtual machines, wherein the actor programs imitate real user behavior on the emulated network. The director programs deliver task commands to the guest actor programs to imitate real user behavior. The imitated behavior is presented to a user via an interface.
- Inventors:
- Issue Date:
- Research Org.:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Org.:
- USDOE National Nuclear Security Administration (NNSA)
- OSTI Identifier:
- 2222085
- Patent Number(s):
- 11720391
- Application Number:
- 17/094,542
- Assignee:
- National Technology & Engineering Solutions of Sandia, LLC (Albuquerque, NM)
- DOE Contract Number:
- NA0003525
- Resource Type:
- Patent
- Resource Relation:
- Patent File Date: 11/10/2020
- Country of Publication:
- United States
- Language:
- English
Citation Formats
Urias, Vincent, Van Leeuwen, Brian P., Stout, William M. S., and Kunz, Michael. Emulation automation and model checking. United States: N. p., 2023.
Web.
Urias, Vincent, Van Leeuwen, Brian P., Stout, William M. S., & Kunz, Michael. Emulation automation and model checking. United States.
Urias, Vincent, Van Leeuwen, Brian P., Stout, William M. S., and Kunz, Michael. Tue .
"Emulation automation and model checking". United States. https://www.osti.gov/servlets/purl/2222085.
@article{osti_2222085,
title = {Emulation automation and model checking},
author = {Urias, Vincent and Van Leeuwen, Brian P. and Stout, William M. S. and Kunz, Michael},
abstractNote = {A method of automating emulations is provided. The method comprising collecting publicly available network data over a predefined time interval, wherein the collected network data might comprise structured and unstructured data. Any unstructured data is converted into structured data. The original and converted structured data is stored in a database and compared to known network vulnerabilities. An emulated network is created according to the collected network data and the comparison of the structured data with known vulnerabilities. Virtual machines are created to run on the emulated network. Director programs and guest actor programs are run on the virtual machines, wherein the actor programs imitate real user behavior on the emulated network. The director programs deliver task commands to the guest actor programs to imitate real user behavior. The imitated behavior is presented to a user via an interface.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2023},
month = {8}
}
Works referenced in this record:
Centralized Storage and Management of Malware Manifests
patent-application, April 2016
- Kashyap, Rahul C.; Navaraj, J. McEnroe Samuel; Passi, Arun
- US Patent Application 14/954853; 20160099951